26. IJCAI 2017: Melbourne, Australia
Carles Sierra:
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. ijcai.org 2017, ISBN 978-0-9992411-0-3
Invited Speakers
Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger:
Swift Logic for Big Data and Knowledge Graphs. 2-10
Ugo Pagallo:
From Automation to Autonomous Systems: A Legal Phenomenology with Problems of Accountability. 17-23
Tuomas Sandholm:
Super-Human AI for Strategic Reasoning: Beating Top Pros in Heads-Up No-Limit Texas Hold'em. 24-25
Main track
Agent-based and Multi-agent Systems
Pritee Agrawal, Pradeep Varakantham:
Proactive and Reactive Coordination of Non-dedicated Agent Teams Operating in Uncertain Environments. 28-34

Gianvincenzo Alfano, Sergio Greco, Francesco Parisi:
Efficient Computation of Extensions for Dynamic Abstract Argumentation Frameworks: An Incremental Approach. 49-55
Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, Srdjan Vesic:
Acceptability Semantics for Weighted Argumentation Frameworks. 56-62
Leila Amgoud, Jonathan Ben-Naim, Srdjan Vesic:
Measuring the Intensity of Attacks in Argumentation Graphs with Shapley Value. 63-69
Guy Avni, Shibashis Guha, Orna Kupferman:
An Abstraction-Refinement Methodology for Reasoning about Network Games. 70-76
Haris Aziz, Ronald de Haan, Baharak Rastegari:
Pareto Optimal Allocation under Uncertain Preferences. 77-83
Haris Aziz, Edith Elkind, Piotr Faliszewski, Martin Lackner, Piotr Skowron:
The Condorcet Principle for Multiwinner Elections: From Shortlisting to Proportionality. 84-90
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. 91-97
Francesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio:
Parameterised Verification of Data-aware Multi-Agent Systems. 98-104
Nahla Ben Amor, Hélène Fargier, Régis Sabbadin:
Equilibria in Ordinal Games: A Framework based on Possibility Theory. 105-111
Aniket Bera, Tanmay Randhavane, Dinesh Manocha:
Aggressive, Tense or Shy? Identifying Personality Traits from Crowd Videos. 112-118
Vitor Bosshard, Benedikt Bünz, Benjamin Lubin, Sven Seuken:
Computing Bayes-Nash Equilibria in Combinatorial Auctions with Continuous Value and Action Spaces. 119-127
Sylvain Bouveret, Yann Chevaleyre, François Durand, Jérôme Lang:
Voting by sequential elimination with few voters. 128-134
Sylvain Bouveret, Katarína Cechlárová, Edith Elkind, Ayumi Igarashi, Dominik Peters:
Fair Division of a Graph. 135-141
Ioannis Caragiannis, Panagiotis Kanellopoulos, Alexandros A. Voudouris:
Bounding the Inefficiency of Compromise. 142-148
Tathagata Chakraborti, Sarath Sreedharan, Yu Zhang, Subbarao Kambhampati:
Plan Explanations as Model Reconciliation: Moving Beyond Explanation as Soliloquy. 156-163
Mithun Chakraborty, Kai Yee Phoebe Chua, Sanmay Das, Brendan Juba:
Coordinated Versus Decentralized Exploration In Multi-Agent Multi-Armed Bandits. 164-170
Stefano Coniglio, Nicola Gatti, Alberto Marchesi:
Pessimistic Leader-Follower Equilibria with Multiple Followers. 171-177
Stephen Cranefield, Michael Winikoff, Virginia Dignum, Frank Dignum:
No Pizza for You: Value-based Plan Selection in BDI Agents. 178-184
Piotr Faliszewski, Piotr Skowron, Arkadii Slinko, Nimrod Talmon:
Multiwinner Rules on Paths From k-Borda to Chamberlin-Courant. 192-198
Gabriele Farina, John P. Dickerson, Tuomas Sandholm:
Operation Frames and Clubs in Kidney Exchange. 199-205
Nikos Gorogiannis, Franco Raimondi, Ioana Boureanu:
A Novel Symbolic Approach to Verifying Epistemic Properties of Programs. 206-212
Laurent Gourvès, Julien Lesca, Anaëlle Wilczynski:
Object Allocation via Swaps along a Social Network. 213-219
Dylan Hadfield-Menell, Anca D. Dragan, Pieter Abbeel, Stuart J. Russell:
The Off-Switch Game. 220-227


Hiroyuki Kido, Keishi Okamoto:
A Bayesian Approach to Argument-Based Reasoning for Attack Estimation. 249-255
Thomas C. King, Akin Günay, Amit K. Chopra, Munindar P. Singh:
Tosca: Operationalizing Commitments Over Information Protocols. 256-264
Vincent J. Koeman, Koen V. Hindriks, Catholijn M. Jonker:
Omniscient Debugging for Cognitive Agent Programs. 265-272
Aaron Koolyk, Tyrone Strangway, Omer Lev, Jeffrey S. Rosenschein:
Convergence and Quality of Iterative Voting Under Non-Scoring Rules. 273-279
Frédéric Koriche, Sylvain Lagrue, Éric Piette, Sébastien Tabary:
Constraint-Based Symmetry Detection in General Game Playing. 280-287
Panagiotis Kouvaros, Alessio Lomuscio:
Verifying Fault-tolerance in Parameterised Multi-Agent Systems. 288-294
Christian Kroer, Gabriele Farina, Tuomas Sandholm:
Smoothing Method for Approximate Extensive-Form Perfect Equilibrium. 295-301
Priel Levy, David Sarne, Igor Rochlin:
Contest Design with Uncertain Performance and Costly Participation. 302-309
Lizi Liao, Xiangnan He, Zhaochun Ren, Liqiang Nie, Huan Xu, Tat-Seng Chua:
Representativeness-aware Aspect Analysis for Brand Monitoring in Social Media. 310-316
Yang Liu, Mingyan Liu:
Crowd Learning: Improving Online Decision Making Using Crowdsourced Data. 317-323
Krzysztof Magiera, Piotr Faliszewski:
Recognizing Top-Monotonic Preference Profiles in Polynomial Time. 324-330
Michail Mamakos, Georgios Chalkiadakis:
Probability Bounds for Overlapping Coalition Formation. 331-337
Pasin Manurangsi, Warut Suksompong:
Computing an Approximately Optimal Agreeable Set of Items. 338-344

Kazunori Ohta, Nathanaël Barrot, Anisse Ismaili, Yuko Sakurai, Makoto Yokoo:
Core Stability in Hedonic Games among Friends and Enemies: Impact of Neutrals. 359-365
Sébastien Picault, Yu-Lin Huang, Vianney Sicard, Pauline Ezanno:
Enhancing Sustainability of Complex Epidemiological Models through a Generic Multilevel Agent-based Approach. 374-380
Aaron Schlenker, Haifeng Xu, Mina Guirguis, Christopher Kiekintveld, Arunesh Sinha, Milind Tambe, Solomon Y. Sonya, Darryl Balderas, Noah Dunstatter:
Don't Bury your Head in Warnings: A Game-Theoretic Approach for Intelligent Allocation of Cyber-security Alerts. 381-387
Kijung Shin, Euiwoong Lee, Dhivya Eswaran, Ariel D. Procaccia:
Why You Should Charge Your Friends for Borrowing Your Stuff. 395-401
Piotr Skowron, Martin Lackner, Markus Brill, Dominik Peters, Edith Elkind:
Proportional Rankings. 409-415
Hanna Sumita, Yasushi Kawase, Sumio Fujita, Takuro Fukunaga:
Online Optimization of Video-Ad Allocation. 423-429
Noga Talmor, Noa Agmon:
On the Power and Limitations of Deception in Multi-Robot Adversarial Patrolling. 430-436
Rohit Vaish, Dinesh Garg:
Manipulating Gale-Shapley Algorithm: Preserving Stability and Remaining Inconspicuous. 437-443
Feng Wu, Shlomo Zilberstein, Xiaoping Chen:
Multi-Agent Planning with Baseline Regret Minimization. 444-450
Nitin Yadav, John Thangarajah, Sebastian Sardiña:
Agent Design Consistency Checking via Planning. 458-464
Yair Zick, Kobi Gal, Yoram Bachrach, Moshe Mash:
How to Form Winning Coalitions in Mixed Human-Computer Settings. 465-471
Combinatorial & Heuristic Search
Gleb Belov, Samuel Esler, Dylan Fernando, Pierre Le Bodic, George L. Nemhauser:
Estimating the size of search trees by sampling with domain knowledge. 473-479
Pascal Bercher, Gregor Behnke, Daniel Höller, Susanne Biundo:
An Admissible HTN Planning Heuristic. 480-488
Jingwei Chen, Robert C. Holte, Sandra Zilles, Nathan R. Sturtevant:
Front-to-End Bidirectional Heuristic Search with Near-Optimal Node Expansions. 489-495
Michael Cui, Daniel Damir Harabor, Alban Grastien:
Compromise-free Pathfinding on a Navigation Mesh. 496-502
Yong Gao:
A Random Model for Argumentation Framework: Phase Transitions, Empirical Hardness, and Heuristics. 503-509
Carlos Hernández, Adi Botea, Jorge A. Baier, Vadim Bulitko:
Online Bridged Pruning for Real-Time Search with Arbitrary Lookaheads. 510-516
Jinkun Lin, Shaowei Cai, Chuan Luo, Kaile Su:
A Reduction based Method for Coloring Very Large Graphs. 517-523
Topi Talvitie, Teppo Mikael Niinimäki, Mikko Koivisto:
The Mixing of Markov Chains on Linear Extensions in Practice. 524-530
Constraints and Satisfiability
Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski:
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. 532-538
Behrouz Babaki, Tias Guns, Luc De Raedt:
Stochastic Constraint Programming with And-Or Branch-and-Bound. 539-545
Sam Bayless, Nodir Kodirov, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu:
Scalable Constraint-based Virtual Data Center Allocation. 546-554
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret:
Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems. 555-562
Shaowei Cai, Chuan Luo, Haochen Zhang:
From Decimation to Local Search and Back: A New Approach to MaxSAT. 571-577
Michael Codish, Michael Frank, Vitaly Lagoon:
The DNA Word Design Problem: A New Constraint Model and New Results. 585-591
Sumanth Dathathri, Nikos Arechiga, Sicun Gao, Richard M. Murray:
Learning-Based Abstractions for Nonlinear Constraint Solving. 592-599
Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi:
The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. 600-606
Pavel Dvorák, Eduard Eiben, Robert Ganian, Dusan Knop, Sebastian Ordyniak:
Solving Integer Linear Programs with a Small Number of Global Variables and Constraints. 607-613
Yi Fan, Nan Li, Chengqian Li, Zongjie Ma, Longin Jan Latecki, Kaile Su:
Restart and Random Walk in Local Search for Maximum Vertex Weight Cliques with Evaluations in Clustering Aggregation. 622-630
Begum Genc, Mohamed Siala, Barry O'Sullivan, Gilles Simonin:
Finding Robust Solutions to Stable Marriage. 631-637
Antti Hyttinen, Paul Saikko, Matti Järvisalo:
A Core-Guided Approach to Learning Optimal Causal Graphs. 645-651
Alexey Ignatiev, António Morgado, Joao Marques-Silva:
Cardinality Encodings for Graph Optimization Problems. 652-658
Elias B. Khalil, Bistra Dilkina, George L. Nemhauser, Shabbir Ahmed, Yufen Shao:
Learning to Run Heuristics in Tree Search. 659-666
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail:
A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem. 674-680
Baudouin Le Charlier, Minh Thanh Khong, Christophe Lecoutre, Yves Deville:
Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints. 681-687
Nian-Ze Lee, Yen-Shi Wang, Jie-Hong R. Jiang:
Solving Stochastic Boolean Satisfiability under Random-Exist Quantification. 688-694
Qi Liu, Guifeng Wang, Hongke Zhao, Chuanren Liu, Tong Xu, Enhong Chen:
Enhancing Campaign Design in Crowdfunding: A Product Supply Optimization Perspective. 695-702
Mao Luo, Chu-Min Li, Fan Xiao, Felip Manyà, Zhipeng Lü:
An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers. 703-711
Ciaran McCreesh, Patrick Prosser, James Trimble:
A Partitioning Algorithm for Maximum Common Subgraph Problems. 712-719
Paolo Morettin, Andrea Passerini, Roberto Sebastiani:
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction. 720-728


Buser Say, Ga Wu, Yu Qing Zhou, Scott Sanner:
Nonlinear Hybrid Planning with Deep Net Learned Transition Models and Mixed-Integer Linear Programming. 750-756
Knowledge Representation, Reasoning, and Logic
Krzysztof R. Apt, Eryk Kopczynski, Dominik Wojtczak:
On the Computational Complexity of Gossip Protocols. 765-771
Theofanis Aravanis, Pavlos Peppas, Mary-Anne Williams:
Epistemic-entrenchment Characterization of Parikh's Axiom. 772-778
Haris Aziz, Serge Gaspers, Kamran Najeebullah:
Weakening Covert Networks by Minimizing Inverse Geodesic Length. 779-785
Franz Baader, Stefan Borgwardt, Marcel Lippmann:
Query Rewriting for DL-Lite with n-ary Concrete Domains. 786-792
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Michaël Thomazo:
Answering Conjunctive Regular Path Queries over Guarded Existential Rules. 793-799
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran:
A General Notion of Equivalence for Abstract Argumentation. 800-806
Ringo Baumann, Christof Spanring:
A Study of Unrestricted Abstract Argumentation Frameworks. 807-813
Khaled Belahcène, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane:
A Model for Accountable Ordinal Sorting. 814-820
Francesco Belardinelli, Andreas Herzig:
Dynamic Logic for Data-aware Systems: Decidability Results. 821-827
Vaishak Belle, Gerhard Lakemeyer:
Reasoning about Probabilities in Unbounded First-Order Dynamical Domains. 828-836
Michael Benedikt, Egor V. Kostylev, Fabio Mogavero, Efthymia Tsamoura:
Reformulating Queries: Theory and Practice. 837-843
Meghyn Bienvenu, Pierre Bourhis, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana:
Ontology-Mediated Query Answering for Key-Value Stores. 844-851
Bernhard Bliem, Marius Moldovan, Michael Morak, Stefan Woltran:
The Impact of Treewidth on ASP Grounding and Solving. 852-858
Bart Bogaerts, Luís Cruz-Filipe:
Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory. 866-872
Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin:
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints. 873-879
Pierre Bourhis, Michael Morak, Andreas Pieris:
Making Cross Products and Guarded Ontology Languages Compatible. 880-886
Robert Bredereck, Andrzej Kaczmarczyk, Rolf Niedermeier:
On Coalitional Manipulation for Multiwinner Elections: Shortlisting. 887-893
Gerhard Brewka, Matthias Thimm, Markus Ulbricht:
Strong Inconsistency in Nonmonotonic Reasoning. 901-907
Carlos Caleiro, Filipe Casal, Andreia Mordido:
Classical Generalized Probabilistic Satisfiability. 908-914
David Carral, Irina Dragoste, Markus Krötzsch:
Detecting Chase (Non)Termination for Existential Rules with Disjunctions. 922-928
Giovanni Casini, Thomas Andreas Meyer:
Belief Change in a Preferential Non-monotonic Framework. 929-935
Jiri Cermak, Branislav Bosanský, Viliam Lisý:
An Algorithm for Constructing and Solving Imperfect Recall Abstractions of Large Extensive-Form Games. 936-942
Ismail Ilkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza, Oana Tifrea-Marciuska:
Query Answering in Ontologies under Preference Rankings. 943-949
Ismail Ilkan Ceylan, Stefan Borgwardt, Thomas Lukasiewicz:
Most Probable Explanations for Probabilistic Database Queries. 950-956
Jiaoyan Chen, Freddy Lécué, Jeff Z. Pan, Huajun Chen:
Learning from Ontology Streams with Semantic Concept Drift. 957-963
De Cheng, Xiaojun Chang, Li Liu, Alexander G. Hauptmann, Yihong Gong, Nanning Zheng:
Discriminative Dictionary Learning With Ranking Metric Embedded for Person Re-Identification. 964-970
Lukás Chrpa, Nir Lipovetzky, Sebastian Sardiña:
Handling non-local dead-ends in Agent Planning Programs. 971-978
Jin-Woo Chung, Wonsuk Yang, Jinseon You, Jong C. Park:
Inferring Implicit Event Locations from Context with Distributional Similarities. 979-985
Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau:
Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions. 986-992
Marco Console, Paolo Guagliardo, Leonid Libkin:
On Querying Incomplete Information in Databases under Bag Semantics. 993-999
Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco:
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. 1008-1014
Thomas Eiter, Tobias Kaminski, Antonius Weinzierl:
Lazy-Grounding for Answer Set Programs with External Source Access. 1015-1022
Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev:
Process Plan Controllers for Non-Deterministic Manufacturing Systems. 1023-1030
Nancy Fulda, Daniel Ricks, Ben Murdoch, David Wingate:
What Can You Do with a Rock? Affordance Extraction via Word Embeddings. 1039-1045
Gianluigi Greco, Francesco Lupia, Francesco Scarcello:
The Tractability of the Shapley Value over Bounded Treewidth Matching Games. 1046-1052
Davide Grossi, Andreas Herzig, Wiebe van der Hoek, Christos Moyzes:
Non-Determinism and the Dynamics of Knowledge. 1053-1059
Kalpa Gunaratna, Amir Hossein Yazdavar, Krishnaprasad Thirunarayan, Amit P. Sheth, Gong Cheng:
Relatedness-based Multi-Entity Summarization. 1060-1066
Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael Wooldridge:
Nash Equilibria in Concurrent Games with Lexicographic Preferences. 1067-1073
Víctor Gutiérrez-Basulto, Jean Christoph Jung:
Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage. 1074-1080
Paul Harrenstein, Paolo Turrini, Michael Wooldridge:
Characterising the Manipulability of Boolean Games. 1081-1087
Jesse Heyninck, Christian Straßer:
Revisiting Unrestricted Rebut and Preferences in Structured Argumentation. 1088-1092
Xiao Huang, Biqing Fang, Hai Wan, Yongmei Liu:
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change. 1093-1101
Aaron Hunter, François Schwarzentruber, Eric Tsang:
Belief Manipulation Through Propositional Announcements. 1109-1115
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider:
Query Conservative Extensions in Horn Description Logics with Inverse Roles. 1116-1122
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks:
Foundations of Declarative Data Analysis Using Limit Datalog Programs. 1123-1130
Gabriele Kern-Isberner, Gerhard Brewka:
Strong Syntax Splitting for Iterated Belief Revision. 1131-1137
Jeremy Kong, Alessio Lomuscio:
Model Checking Multi-Agent Systems against LDLK Specifications. 1138-1144
Markus Kröll, Reinhard Pichler, Stefan Woltran:
On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks. 1145-1152
Ondrej Kuzelka, Jesse Davis, Steven Schockaert:
Induction of Interpretable Possibilistic Logic Theories from Relational Data. 1153-1159
Domenico Lembo, Riccardo Rosati, Valerio Santarelli, Domenico Fabio Savo, Evgenij Thorstensen:
Mapping Repair in Ontology-based Data Access Evolving Systems. 1160-1166
Xu Lu, Cong Tian, Zhenhua Duan:
Temporalising Separation Logic for Planning with Search Control Knowledge. 1167-1173
Kangqi Luo, Xusheng Luo, Xianyang Chen, Kenny Q. Zhu:
A Data-Driven Approach to Infer Knowledge Base Representation for Natural Language Relations. 1174-1180
Carsten Lutz, Leif Sabellek:
Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability. 1181-1187
Maximilian Marx, Markus Krötzsch, Veronika Thost:
Logic on MARS: Ontologies for Generalised Property Graphs. 1188-1194

Mojtaba Montazery, Nic Wilson:
Dominance and Optimisation Based on Scale-Invariant Maximum Margin Preference Learning. 1209-1215
Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh:
Generalized Target Assignment and Path Finding Using Answer Set Programming. 1216-1223
Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
The Bag Semantics of Ontology-Based Data Access. 1224-1230
Quentin Plazar, Mathieu Acher, Sébastien Bardin, Arnaud Gotlieb:
Efficient and Complete FD-solving for extended array constraints. 1231-1238

Erel Segal-Halevi, Haris Aziz, Avinatan Hassidim:
Fair Allocation based on Diminishing Differences. 1254-1261
Michael Sioutis, Jean-François Condotta:
Efficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction. 1262-1268
Tran Cao Son, Tiep Le, Patrick Thor Kahl, Anthony P. Leclerc:
On Computing World Views of Epistemic Logic Programs. 1269-1275
Rodrigo Toro Icarte, Jorge A. Baier, Cristian Ruz, Alvaro Soto:
How a General-Purpose Commonsense Ontology can Improve Performance of Learning-Based Image Retrieval. 1283-1289
Peng Wang, Qi Wu, Chunhua Shen, Anthony R. Dick, Anton van den Hengel:
Explicit Knowledge-based Reasoning for Visual Question Answering. 1290-1296
Ping Wei, Dan Xie, Nanning Zheng, Song-Chun Zhu:
Inferring Human Attention by Learning Latent Intentions. 1297-1303
Nic Wilson, Anne-Marie George:
Efficient Inference and Computation of Optimal Alternatives for Preference Languages Based On Lexicographic Models. 1311-1317
Jiacheng Xu, Xipeng Qiu, Kan Chen, Xuanjing Huang:
Knowledge Graph Representation with Jointly Structural and Textual Encoding. 1318-1324
Li'ang Yin, Jianhua Han, Weinan Zhang, Yong Yu:
Aggregating Crowd Wisdoms with Label-aware Autoencoders. 1325-1331
Farhad Zafari, Rasoul Rahmani, Irene Moser:
Proposing a Highly Accurate Hybrid Component-Based Factorised Preference Model in Recommender Systems. 1332-1339
Junzhe Zhang, Elias Bareinboim:
Transfer Learning in Multi-Armed Bandits: A Causal Approach. 1340-1346
Kun Zhang, Biwei Huang, Jiji Zhang, Clark Glymour, Bernhard Schölkopf:
Causal Discovery from Nonstationary/Heterogeneous Data: Skeleton Estimation and Orientation Determination. 1347-1353
Yizheng Zhao, Renate A. Schmidt:
Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach. 1354-1361
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
Symbolic LTLf Synthesis. 1362-1369
Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, Abdul Sattar:
A Unifying Framework for Probabilistic Belief Revision. 1370-1376
Machine Learning A-R
Abbas Abdolmaleki, Bob Price, Nuno Lau, Luís Paulo Reis, Gerhard Neumann:
Contextual Covariance Matrix Adaptation Evolutionary Strategies. 1378-1385
Amirali Aghazadeh, Andrew S. Lan, Anshumali Shrivastava, Richard G. Baraniuk:
RHash: Robust Hashing via L_infinity-norm Distortion. 1386-1394
Muhannad Al-Omari, Paul Duckworth, Nils Bore, Majd Hawasly, David C. Hogg, Anthony G. Cohn:
Grounding of Human Environments and Activities for Autonomous Robots. 1395-1402
John Aslanides, Jan Leike, Marcus Hutter:
Universal Reinforcement Learning Algorithms: Survey and Experiments. 1403-1410
Alexandry Augustin, Matteo Venanzi, Alex Rogers, Nicholas R. Jennings:
Bayesian Aggregation of Categorical Distributions with Applications in Crowdsourcing. 1411-1417
Aijun Bai, Stuart J. Russell:
Efficient Reinforcement Learning with Hierarchies of Machines by Leveraging Internal Transitions. 1418-1424
Aimene Belfodil, Sergei O. Kuznetsov, Céline Robardet, Mehdi Kaytoue:
Mining Convex Polygon Patterns with Formal Concept Analysis. 1425-1432
Diana Benavides Prado, Yun Sing Koh, Patricia Riddle:
AccGenSVM: Selectively Transferring from Previous Hypotheses. 1440-1446
Bharat Lal Bhatnagar, Suriya Singh, Chetan Arora, C. V. Jawahar:
Unsupervised Learning of Deep Feature Representation for Clustering Egocentric Actions. 1447-1453
Lidong Bing, William W. Cohen, Bhuwan Dhingra:
Using Graphs of Classifiers to Impose Declarative Constraints on Semi-supervised Learning. 1454-1460
Djallel Bouneffouf, Irina Rish, Guillermo A. Cecchi, Raphaël Féraud:
Context Attentive Bandits: Contextual Bandit with Restricted Context. 1468-1475
Chenwei Cai, Ruining He, Julian McAuley:
SPMC: Socially-Aware Personalized Markov Chains for Sparse Sequential Recommendation. 1476-1482
Poo-Hee Chang, Ah-Hwee Tan:
Encoding and Recall of Spatio-Temporal Episodic Memory in Real Time. 1490-1496
Wei-Cheng Chang, Chun-Liang Li, Yiming Yang, Barnabás Póczos:
Data-driven Random Fourier Features using Stein Effect. 1497-1503
Bi-ke Chen, Chen Gong, Jian Yang:
Importance-Aware Semantic Segmentation for Autonomous Driving System. 1504-1510
Muhao Chen, Yingtao Tian, Mohan Yang, Carlo Zaniolo:
Multilingual Knowledge Graph Embeddings for Cross-lingual Knowledge Alignment. 1511-1517
Xiaojun Chen, Feiping Nie, Joshua Zhexue Huang, Min Yang:
Scalable Normalized Cut with Improved Spectral Rotation. 1518-1524
Xiaojun Chen, Guowen Yuan, Feiping Nie, Joshua Zhexue Huang:
Semi-supervised Feature Selection via Rescaled Linear Regression. 1525-1531
Yunpeng Chen, Xiaojie Jin, Jiashi Feng, Shuicheng Yan:
Training Group Orthogonal Neural Networks with Privileged Information. 1532-1538
Min-Je Choi, Sehun Jeong, Hakjoo Oh, Jaegul Choo:
End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks. 1546-1553
YooJung Choi, Adnan Darwiche, Guy Van den Broeck:
Optimal Feature Selection for Decision Robustness in Bayesian Networks. 1554-1560
Cristina Conati, Sébastien Lallé, Md. Abed Rahman, Dereck Toker:
Further Results on Predicting Cognitive Abilities for Adaptive Visualizations. 1568-1574
Miguel Couceiro, Nicolas Hug, Henri Prade, Gilles Richard:
Analogy-preserving functions: A way to extend Boolean samples. 1575-1581
Michael Dann, Fabio Zambetta, John Thangarajah:
Real-Time Navigation in Classical Platform Games via Skill Reuse. 1582-1588
Yue Deng, Yilin Shen, Hongxia Jin:
Disguise Adversarial Networks for Click-through Rate Prediction. 1589-1595
Ivan Donadello, Luciano Serafini, Artur S. d'Avila Garcez:
Logic Tensor Networks for Semantic Image Interpretation. 1596-1602
Weishan Dong, Ting Yuan, Kai Yang, Changsheng Li, Shilei Zhang:
Autoencoder Regularized Network For Driving Style Representation Learning. 1603-1609
Yali Du, Chang Xu, Dacheng Tao:
Privileged Matrix Factorization for Collaborative Filtering. 1610-1616
Yu Du, Yongkang Wong, Wenguang Jin, Wentao Wei, Yu Hu, Mohan S. Kankanhalli, Weidong Geng:
Semi-Supervised Learning for Surface EMG-based Gesture Recognition. 1624-1630
Sebastijan Dumancic, Hendrik Blockeel:
Clustering-Based Relational Unsupervised Representation Learning with an Explicit Distributed Representation. 1631-1637
Kevin Ellis, Sumit Gulwani:
Learning to Learn Programs from Examples: Going Beyond Program Structure. 1638-1645
Mingyu Fan, Xiaojun Chang, Xiaoqin Zhang, Di Wang, Liang Du:
Top-k Supervise Feature Selection via ADMM for Integer Programming. 1646-1653
Huang Fang, Zhang Zhen, Yiqun Shao, Cho-Jui Hsieh:
Improved Bounded Matrix Completion for Large-Scale Recommender Systems. 1654-1660
Yuan Fang, Kingsley Kuan, Jie Lin, Cheston Tan, Vijay Chandrasekhar:
Object Detection Meets Knowledge Graphs. 1661-1667
Yuchun Fang, Zhengyan Ma, Zhaoxiang Zhang, Xu-Yao Zhang, Xiang Bai:
Dynamic Multi-Task Learning with Convolutional Neural Network. 1668-1674
Yasuhiro Fujiwara, Naoki Marumo, Mathieu Blondel, Koh Takeuchi, Hideaki Kim, Tomoharu Iwata, Naonori Ueda:
SVD-Based Screening for the Graphical Lasso. 1682-1688
Qiang Gao, Fan Zhou, Kunpeng Zhang, Goce Trajcevski, Xucheng Luo, Fengli Zhang:
Identifying Human Mobility via Trajectory Embeddings. 1689-1695
Sahil Garg, Irina Rish, Guillermo A. Cecchi, Aurelie C. Lozano:
Neurogenesis-Inspired Dictionary Learning: Online Model Adaption in a Changing World. 1696-1702
Anna C. Gilbert, Yi Zhang, Kibok Lee, Yuting Zhang, Honglak Lee:
Towards Understanding the Invertibility of Convolutional Neural Networks. 1703-1710
Karan Goel, Christoph Dann, Emma Brunskill:
Sample Efficient Policy Search for Optimal Stopping Domains. 1711-1717
Dihong Gong, Daisy Zhe Wang:
Extracting Visual Knowledge from the Web with Multimodal Learning. 1718-1724
Huifeng Guo, Ruiming Tang, Yunming Ye, Zhenguo Li, Xiuqiang He:
DeepFM: A Factorization-Machine based Neural Network for CTR Prediction. 1725-1731
Jinjin Guo, Zhiguo Gong:
A Density-based Nonparametric Model for Online Event Discovery from the Social Media Data. 1732-1738
Xiaojie Guo, Xiaobo Wang, Haibin Ling:
Exclusivity Regularized Machine: A New Ensemble SVM Classifier. 1739-1745
Xifeng Guo, Long Gao, Xinwang Liu, Jianping Yin:
Improved Deep Embedded Clustering with Local Structure Preservation. 1753-1759
Xin Guo, Boyuan Pan, Deng Cai, Xiaofei He:
Robust Asymmetric Bayesian Adaptive Matrix Factorization. 1760-1766
Yuchen Guo, Guiguang Ding, Jungong Han, Yue Gao:
SitNet: Discrete Similarity Transfer Network for Zero-shot Hashing. 1767-1773
Yuchen Guo, Guiguang Ding, Jungong Han, Yue Gao:
Synthesizing Samples for Zero-shot Learning. 1774-1780
Yunhui Guo, Congfu Xu, Hanzhang Song, Xin Wang:
Understanding Users' Budgets for Recommendation with Hierarchical Poisson Factorization. 1781-1787
Anchit Gupta, Shivaram Kalyanakrishnan:
Improved Strong Worst-case Upper Bounds for MDP Planning. 1788-1794
Ankita Gupta, Gurunath Gurrala, Pidaparthy S. Sastry:
Instability Prediction in Power Systems using Recurrent Neural Networks. 1795-1801
Takuo Hamaguchi, Hidekazu Oiwa, Masashi Shimbo, Yuji Matsumoto:
Knowledge Transfer for Out-of-Knowledge-Base Entities : A Graph Neural Network Approach. 1802-1808
Junwei Han, Kai Xiong, Feiping Nie:
Orthogonal and Nonnegative Graph Reconstruction for Large Scale Clustering. 1809-1815
Longfei Han, Dingwen Zhang, Dong Huang, Xiaojun Chang, Jun Ren, Senlin Luo, Junwei Han:
Self-paced Mixture of Regressions. 1816-1822
Shuji Hao, Peilin Zhao, Yong Liu, Steven C. H. Hoi, Chunyan Miao:
Online Multitask Relative Similarity Learning. 1823-1829
Jia He, Changying Du, Changde Du, Fuzhen Zhuang, Qing He, Guoping Long:
Nonlinear Maximum Margin Multi-View Learning with Adaptive Kernel. 1830-1836
Jing He, Xin Li, Lejian Liao:
Category-aware Next Point-of-Interest Recommendation via Listwise Bayesian Personalized Ranking. 1837-1843

Liang Hu, Longbing Cao, Shoujin Wang, Guandong Xu, Jian Cao, Zhiping Gu:
Diversifying Personalized Recommendation with User-session Context. 1858-1864
Wenbo Hu, Jun Zhu, Hang Su, Jingwei Zhuo, Bo Zhang:
Semi-supervised Max-margin Topic Model with Manifold Posterior Regularization. 1865-1871
Haoran Huang, Qi Zhang, Xuanjing Huang:
Mention Recommendation for Twitter with End-to-end Memory Network. 1872-1878
Sheng-Jun Huang, Jia-Lve Chen, Xin Mu, Zhi-Hua Zhou:
Cost-Effective Active Learning from Diverse Labelers. 1879-1885
Xin Huang, Yuxin Peng, Mingkuan Yuan:
Cross-modal Common Representation Learning by Hybrid Transfer Network. 1893-1900
Xunpeng Huang, Le Wu, Enhong Chen, Hengshu Zhu, Qi Liu, Yijun Wang:
Incremental Matrix Factorization: A Linear Feature Transformation Perspective. 1901-1908

Yasutoshi Ida, Yasuhiro Fujiwara, Sotetsu Iwamura:
Adaptive Learning Rate via Covariance Matrix Based Preconditioning for Deep Neural Networks. 1923-1929
Yusuke Iwasawa, Kotaro Nakayama, Ikuko Yairi, Yutaka Matsuo:
Privacy Issues Regarding the Application of DNNs to Activity-Recognition using Wearables and Its Countermeasures by Use of Adversarial Training. 1930-1936
Songlei Jian, Longbing Cao, Guansong Pang, Kai Lu, Hang Gao:
Embedding-based Representation of Categorical Data by Hierarchical Value Coupling Learning. 1937-1943
He Jiang, Yangqiu Song, Chenguang Wang, Ming Zhang, Yizhou Sun:
Semi-supervised Learning over Heterogeneous Information Networks by Ensemble of Meta-graph Guided Random Walks. 1944-1950
Nan Jiang, Wenge Rong, Min Gao, Yikang Shen, Zhang Xiong:
Exploration of Tree-based Hierarchical Softmax for Recurrent Language Models. 1951-1957
Wenhao Jiang, Cheng Deng, Wei Liu, Feiping Nie, Fu-Lai Chung, Heng Huang:
Theoretic Analysis and Extremely Easy Algorithms for Domain Adaptive Feature Learning. 1958-1964
Zhuxi Jiang, Yin Zheng, Huachun Tan, Bangsheng Tang, Hanning Zhou:
Variational Deep Embedding: An Unsupervised and Generative Approach to Clustering. 1965-1972
Antonio Jimeno-Yepes, Jianbin Tang, Benjamin Scott Mashford:
Improving Classification Accuracy of Feedforward Neural Networks for Spiking Neuromorphic Chips. 1973-1979
Ruochun Jin, Yong Dou, Yueqing Wang, Xin Niu:
Confusion Graph: Detecting Confusion Communities in Large Scale Image Classification. 1980-1986
Pasan Karunaratne, Masud Moshtaghi, Shanika Karunasekera, Aaron Harwood, Trevor Cohn:
Modelling the Working Week for Multi-Step Forecasting using Gaussian Process Regression. 1994-2000
Sumeet Katariya, Branislav Kveton, Csaba Szepesvári, Claire Vernade, Zheng Wen:
Bernoulli Rank-1 Bandits for Click Feedback. 2001-2007
Salman Hameed Khan, Xuming He, Fatih Porikli, Mohammed Bennamoun, Ferdous Ahmed Sohel, Roberto Togneri:
Learning deep structured network for weakly supervised change detection. 2008-2015
Kyung-Min Kim, Min-Oh Heo, Seong-Ho Choi, Byoung-Tak Zhang:
DeepStory: Video Story QA by Deep Embedded Memory Networks. 2016-2022
Robert Kleinberg, Kevin Leyton-Brown, Brendan Lucier:
Efficiency Through Procrastination: Approximately Optimal Algorithm Configuration with Runtime Guarantees. 2023-2031
Senka Krivic, Michael Cashmore, Daniele Magazzeni, Bram Ridder, Sándor Szedmák, Justus H. Piater:
Decreasing Uncertainty in Planning with State Prediction. 2032-2038
Atsutoshi Kumagai, Tomoharu Iwata:
Learning Latest Classifiers without Additional Labeled Data. 2039-2045
Sachin Kumar, Soumen Chakrabarti, Shourya Roy:
Earth Mover's Distance Pooling over Siamese LSTMs for Automatic Short Answer Grading. 2046-2052
Baisheng Lai, Xiaojin Gong:
Saliency Guided End-to-End Learning for Weakly Supervised Object Detection. 2053-2059
Duc-Trong Le, Hady Wirawan Lauw, Yuan Fang:
Basket-Sensitive Personalized Item Recommendation. 2060-2066
Lei Le, Raksha Kumaraswamy, Martha White:
Learning Sparse Representations in Reinforcement Learning with Sparse Coding. 2067-2073
Tuan M. V. Le, Hady Wirawan Lauw:
Semantic Visualization for Short Texts with Word Embeddings. 2074-2080
Jinhyuk Lee, Hyunjae Kim, Miyoung Ko, Donghee Choi, Jaehoon Choi, Jaewoo Kang:
Name Nationality Classification with Recurrent Neural Networks. 2081-2087
Jongmin Lee, Youngsoo Jang, Pascal Poupart, Kee-Eung Kim:
Constrained Bayesian Reinforcement Learning via Approximate Linear Programming. 2088-2095
Cheng Li, Sunil Kumar Gupta, Santu Rana, Vu Nguyen, Svetha Venkatesh, Alistair Shilton:
High Dimensional Bayesian Optimization using Dropout. 2096-2102
Hang Li, Haozheng Wang, Zhenglu Yang, Haochen Liu:
Effective Representing of Information Network by Variational Autoencoder. 2103-2109

Jian Li, Yong Liu, Hailun Lin, Yinliang Yue, Weiping Wang:
Efficient Kernel Selection via Spectral Analysis. 2124-2130
Jianxin Li, Haoyi Zhou, Pengtao Xie, Yingchun Zhang:
Improving the Generalization Performance of Multi-class SVM via Angular Regularization. 2131-2137
Jun Li, Handong Zhao, Zhiqiang Tao, Yun Fu:
Large-scale Subspace Clustering by Fast Regression Coding. 2138-2144
Jun Li, Hongfu Liu, Handong Zhao, Yun Fu:
Projective Low-rank Subspace Clustering via Learning Deep Encoder. 2145-2151
Jundong Li, Harsh Dani, Xia Hu, Huan Liu:
Radar: Residual Analysis for Anomaly Detection in Attributed Networks. 2152-2158
Jundong Li, Jiliang Tang, Huan Liu:
Reconstruction-based Unsupervised Feature Selection: An Embedded Approach. 2159-2165
Kunpeng Li, Yu Kong, Yun Fu:
Multi-Stream Deep Similarity Learning Networks for Visual Tracking. 2166-2172
Ping Li, Jiashi Feng, Xiaojie Jin, Luming Zhang, Xianghua Xu, Shuicheng Yan:
Online Robust Low-Rank Tensor Learning. 2180-2186
Shuangyin Li, Rong Pan, Jun Yan:
Self-paced Compensatory Deep Boltzmann Machine for Semi-Structured Document Embedding. 2187-2193
Wei Li, Xiatian Zhu, Shaogang Gong:
Person Re-Identification by Deep Joint Learning of Multi-Loss Classification. 2194-2200
Xuelong Li, Bin Zhao, Xiaoqiang Lu:
MAM-RNN: Multi-level Attention Model Based RNN for Video Captioning. 2208-2214
Ya Li, Xinmei Tian, Xu Shen, Dacheng Tao:
Classification and Representation Joint Learning via Deep Networks. 2215-2221
Yang Li, Zhan Xu, Jianke Zhu:
CFNN: Correlation Filter Neural Network for Visual Object Tracking. 2222-2229
Zheng Li, Yu Zhang, Ying Wei, Yuxiang Wu, Qiang Yang:
End-to-End Adversarial Memory Network for Cross-domain Sentiment Classification. 2237-2243
Zhizhong Li, Dahua Lin:
Integrating Specialized Classifiers Based on Continuous Time Markov Chain. 2244-2251
Kongming Liang, Yuhong Guo, Hong Chang, Xilin Chen:
Incomplete Attribute Learning with auxiliary labels. 2252-2258
Ankita Likhyani, Srikanta Bedathur, Deepak P:
LoCaTe: Influence Quantification for Location Promotion in Location-based Social Networks. 2259-2265
Jie Lin, Zechao Li, Jinhui Tang:
Discriminative Deep Hashing for Scalable Face Image Retrieval. 2266-2272
Tao Lin, Tian Guo, Karl Aberer:
Hybrid Neural Networks for Learning the Trend in Time Series. 2273-2279
Anjin Liu, Yiliao Song, Guangquan Zhang, Jie Lu:
Regional Concept Drift Detection and Density Synchronized Drift Adaptation. 2280-2286
Bo Liu, Ying Wei, Yu Zhang, Qiang Yang:
Deep Neural Networks for High Dimension, Low Sample Size Data. 2287-2293
Chenghao Liu, Teng Zhang, Peilin Zhao, Jun Zhou, Jianling Sun:
Locally Linear Factorization Machines. 2294-2300
Hantang Liu, Jialiang Zhang, Jianke Zhu, Steven C. H. Hoi:
DeepFacade: A Deep Learning Approach to Facade Parsing. 2301-2307
Hanyang Liu, Junwei Han, Feiping Nie:
Semi-supervised Orthogonal Graph Embedding with Recursive Projections. 2308-2314
Jia Liu, Maoguo Gong, Qiguang Miao:
Modeling Hebb Learning Rule for Unsupervised Learning. 2315-2321
Mengchen Liu, Liu Jiang, Junlin Liu, Xiting Wang, Jun Zhu, Shixia Liu:
Improving Learning-from-Crowds through Expert Validation. 2329-2336
Ninghao Liu, Xiao Huang, Xia Hu:
Accelerated Local Anomaly Detection via Resolving Attributed Networks. 2337-2343
Quan Liu, Hui Jiang, Andrew Evdokimov, Zhen-Hua Ling, Xiaodan Zhu, Si Wei, Yu Hu:
Cause-Effect Knowledge Acquisition and Neural Association Model for Solving A Set of Winograd Schema Problems. 2344-2350
Shenghua Liu, Houdong Zheng, Huawei Shen, Xueqi Cheng, Xiangwen Liao:
Learning Concise Representations of Users' Influences through Online Behaviors. 2351-2357
Tongliang Liu, Qiang Yang, Dacheng Tao:
Understanding How Feature Structure Transfers in Transfer Learning. 2365-2371
Yanzhu Liu, Adams Wai-Kin Kong, Chi Keong Goh:
Deep Ordinal Regression Based on Data Relationship for Small Datasets. 2372-2378
Yong Liu, Peilin Zhao, Xin Liu, Min Wu, Lixin Duan, Xiaoli Li:
Learning User Dependencies for Recommendation. 2379-2385
Xiaoqiang Lu, Yuan Yuan, Jie Fang:
JM-Net and Cluster-SVM for Aerial Scene Classification. 2386-2392
Yang Lu, Yiu-ming Cheung, Yuan Yan Tang:
Dynamic Weighted Majority for Incremental Learning of Imbalanced Data Streams with Concept Drift. 2393-2399

Ling Luo, Bin Li, Irena Koprinska, Shlomo Berkovsky, Fang Chen:
Tracking the Evolution of Customer Purchase Behavior Segmentation via a Fragmentation-Coagulation Process. 2414-2420
Minnan Luo, Lingling Zhang, Feiping Nie, Xiaojun Chang, Buyue Qian, Qinghua Zheng:
Adaptive Semi-Supervised Learning with Discriminative Least Squares Regression. 2421-2427
Xin Luo, Mingsheng Shang:
Symmetric Non-negative Latent Factor Models for Undirected Large Networks. 2435-2442
Yong Luo, Dacheng Tao, Yonggang Wen:
Exploiting High-Order Information in Heterogeneous Multi-Task Feature Learning. 2443-2449
Yong Luo, Yonggang Wen, Tongliang Liu, Dacheng Tao:
General Heterogeneous Transfer Distance Metric Learning via Knowledge Fragments Transfer. 2450-2456
Qianli Ma, Lifeng Shen, Enhuan Chen, Shuai Tian, Jiabing Wang, Garrison W. Cottrell:
WALKING WALKing walking: Action Recognition from Action Echoes. 2457-2463
Tong Man, Huawei Shen, Xiaolong Jin, Xueqi Cheng:
Cross-Domain Recommendation: An Embedding and Mapping Approach. 2464-2470
Jarryd Martin, Suraj Narayanan Sasikumar, Tom Everitt, Marcus Hutter:
Count-Based Exploration in Feature Space for Reinforcement Learning. 2471-2478
Martin Renqiang Min, Hongyu Guo, Dongjin Song:
Exemplar-centered Supervised Shallow Parametric Data Embedding. 2479-2485
Martin Mladenov, Craig Boutilier, Dale Schuurmans, Ofer Meshi, Gal Elidan, Tyler Lu:
Logistic Markov Decision Processes. 2486-2493
Mahesh Mohan, Claire Monteleoni:
Beyond the Nystrom Approximation: Speeding up Spectral Clustering using Uniform Sampling and Weighted Kernel k-means. 2494-2500
Seungwhan Moon, Jaime G. Carbonell:
Completely Heterogeneous Transfer Learning with Attention - What And What Not To Transfer. 2508-2514
Subhojyoti Mukherjee, Kolar Purushothama Naveen, Nandan Sudarsanam, Balaraman Ravindran:
Thresholding Bandits with Augmented UCB. 2515-2521
Keerthiram Murugesan, Jaime G. Carbonell:
Self-Paced Multitask Learning with Shared Knowledge. 2522-2528
Fatemeh Nargesian, Horst Samulowitz, Udayan Khurana, Elias B. Khalil, Deepak S. Turaga:
Learning Feature Engineering for Classification. 2529-2535
Sanmit Narvekar, Jivko Sinapov, Peter Stone:
Autonomous Task Sequencing for Customized Curriculum Design in Reinforcement Learning. 2536-2542
Tu Dinh Nguyen, Trung Le, Hung Bui, Dinh Q. Phung:
Large-scale Online Kernel Learning with Random Feature Reparameterization. 2543-2549
Vu Nguyen, Dinh Q. Phung, Trung Le, Hung Bui:
Discriminative Bayesian Nonparametric Clustering. 2550-2556
Feiping Nie, Zhouyuan Huo, Heng Huang:
Joint Capped Norms Minimization for Robust Matrix Recovery. 2557-2563
Feiping Nie, Jing Li, Xuelong Li:
Self-weighted Multiview Clustering with Multiple Graphs. 2564-2570
Vahid Noroozi, Lei Zheng, Sara Bahaadini, Sihong Xie, Philip S. Yu:
SEVEN: Deep Semi-supervised Verification Networks. 2571-2577
Iku Ohama, Takuya Kida, Hiroki Arimura:
Discovering Relevance-Dependent Bicluster Structure from Relational Data. 2578-2584
Guansong Pang, Longbing Cao, Ling Chen, Huan Liu:
Learning Homophily Couplings from Non-IID Data for Joint Feature Selection and Noise-Resilient Outlier Detection. 2585-2591
Tianji Pang, Feiping Nie, Junwei Han:
Flexible Orthogonal Neighborhood Preserving Embedding. 2592-2598
Te Pi, Xi Li, Zhongfei (Mark) Zhang:
Boosted Zero-Shot Learning with Semantic Correlation Regularization. 2599-2605
Chao Qian, Jing-Cheng Shi, Yang Yu, Ke Tang, Zhi-Hua Zhou:
Optimizing Ratio of Monotone Set Functions. 2606-2612
Chao Qian, Jing-Cheng Shi, Yang Yu, Ke Tang:
On Subset Selection with General Cost Constraints. 2613-2619
Maoying Qiao, Jun Yu, Wei Bian, Qiang Li, Dacheng Tao:
Improving Stochastic Block Models by Incorporating Power-Law Degree Characteristic. 2620-2626
Yao Qin, Dongjin Song, Haifeng Chen, Wei Cheng, Guofei Jiang, Garrison W. Cottrell:
A Dual-Stage Attention-Based Recurrent Neural Network for Time Series Prediction. 2627-2633
Yazhou Ren, Peng Zhao, Yongpan Sheng, Dezhong Yao, Zenglin Xu:
Robust Softmax Regression for Multi-class Classification with Self-Paced Learning. 2641-2647

Andrew Slavin Ross, Michael C. Hughes, Finale Doshi-Velez:
Right for the Right Reasons: Training Differentiable Models by Constraining their Explanations. 2662-2670
Machine Learning S-Z
Debbrata K. Saha, Vince D. Calhoun, Sandeep R. Panta, Sergey M. Plis:
See without looking: joint visualization of sensitive multi-site datasets. 2672-2678
Bidisha Samanta, Abir De, Abhijnan Chakraborty, Niloy Ganguly:
LMPP: A Large Margin Point Process Combining Reinforcement and Competition for Modeling Hashtag Popularity. 2679-2685
Spyridon Samothrakis, Tom Vodopivec, Michael Fairbank, Maria Fasli:
Convolutional-Match Networks for Question Answering. 2686-2692
Oliver Schulte, Sajjad Gholami:
Locally Consistent Bayesian Network Scores for Multi-Relational Data. 2693-2700
Tong Shen, Guosheng Lin, Chunhua Shen, Ian D. Reid:
Learning Multi-level Region Consistency with Dense Multi-label Networks for Semantic Segmentation. 2708-2714
Zebang Shen, Hui Qian, Tongzhou Mu, Chao Zhang:
Accelerated Doubly Stochastic Gradient Algorithm for Large-scale Empirical Risk Minimization. 2715-2721

Jingkuan Song, Lianli Gao, Zhao Guo, Wu Liu, Dongxiang Zhang, Heng Tao Shen:
Hierarchical LSTM with Adjusted Temporal Attention for Video Captioning. 2737-2743
Kaisong Song, Wei Gao, Shi Feng, Daling Wang, Kam-Fai Wong, Chengqi Zhang:
Recommendation vs Sentiment Analysis: A Text-Driven Latent Factor Model for Rating Prediction with Cold-Start Awareness. 2744-2750
Kun Song, Feiping Nie, Junwei Han:
Two dimensional Large Margin Nearest Neighbor for Matrix Classification. 2751-2757
Ivan Stojkovic, Vladisav Jelisavcic, Veljko Milutinovic, Zoran Obradovic:
Fast Sparse Gaussian Markov Random Fields Learning Based on Cholesky Factorization. 2758-2764
Florian Strub, Harm de Vries, Jérémie Mary, Bilal Piot, Aaron C. Courville, Olivier Pietquin:
End-to-end optimization of goal-driven and visually grounded dialogue systems. 2765-2771
Lifan Su, Yue Gao, Xibin Zhao, Hai Wan, Ming Gu, Jiaguang Sun:
Vertex-Weighted Hypergraph Learning for Multi-View Object Classification. 2779-2785
Sen Su, Gang Chen, Xiang Cheng, Rong Bi:
Deep Supervised Hashing with Nonlinear Projections. 2786-2792
Yanan Sui, Joel W. Burdick:
Correlational Dueling Bandits with Application to Clinical Treatment in Large Decision Spaces. 2793-2799
Adam Summerville, Joseph C. Osborn, Michael Mateas:
CHARDA: Causal Hybrid Automata Recovery via Dynamic Analysis. 2800-2806
Naoya Takeishi, Yoshinobu Kawahara, Yasuo Tabei, Takehisa Yairi:
Bayesian Dynamic Mode Decomposition. 2814-2821
Qingtao Tang, Li Niu, Yisen Wang, Tao Dai, Wangpeng An, Jianfei Cai, Shu-Tao Xia:
Student-t Process Regression with Student-t Likelihood. 2822-2828
Qingtao Tang, Tao Dai, Li Niu, Yisen Wang, Shu-Tao Xia, Jianfei Cai:
Robust Survey Aggregation with Student-t Distribution and Sparse Representation. 2829-2835
Shaozhe Tao, Yifan Sun, Daniel Boley:
Inverse Covariance Estimation with Structured Groups. 2836-2842
Zhiqiang Tao, Hongfu Liu, Sheng Li, Zhengming Ding, Yun Fu:
From Ensemble Clustering to Multi-View Clustering. 2843-2849
Nguyen Thanh Tam, Matthias Weidlich, Duong Chi Thang, Hongzhi Yin, Nguyen Quoc Viet Hung:
Retaining Data from Streams of Social Platforms with Minimal Regret. 2850-2856
Sabina Tomkins, Jay Pujara, Lise Getoor:
Disambiguating Energy Disaggregation: A Collective Probabilistic Approach. 2857-2863
Cunchao Tu, Zhengyan Zhang, Zhiyuan Liu, Maosong Sun:
TransNet: Translation-Based Network Representation Learning for Social Relation Extraction. 2864-2870
Toon van Craenendonck, Sebastijan Dumancic, Hendrik Blockeel:
COBRA: A Fast and Simple Method for Active Clustering with Pairwise Constraints. 2871-2877
Sibi Venkatesan, James K. Miller, Jeff Schneider, Artur Dubrawski:
Scaling Active Search using Linear Similarity Functions. 2878-2884
Greg Ver Steeg, Shuyang Gao, Kyle Reing, Aram Galstyan:
Sifting Common Information from Many Variables. 2885-2892
Boyue Wang, Yongli Hu, Junbin Gao, Yanfeng Sun, Haoran Chen, Muhammad Ali, Baocai Yin:
Locality Preserving Projections for Grassmann manifold. 2893-2900
Chaoyue Wang, Chaohui Wang, Chang Xu, Dacheng Tao:
Tag Disentangled Generative Adversarial Network for Object Image Re-rendering. 2901-2907
Chenguang Wang, Laura Chiticariu, Yunyao Li:
Active Learning for Black-Box Semantic Role Labeling with Neural Factors. 2908-2914
Jin Wang, Zhongyuan Wang, Dawei Zhang, Jun Yan:
Combining Knowledge with Deep Convolutional Neural Networks for Short Text Classification. 2915-2921
Jing Wang, Feng Tian, Xiao Wang, Hongchuan Yu, Chang Hong Liu, Liang Yang:
Multi-Component Nonnegative Matrix Factorization. 2922-2928
Qi Wang, Zequn Qin, Feiping Nie, Yuan Yuan:
Convolutional 2D LDA for Nonlinear Dimensionality Reduction. 2929-2935
Qifan Wang, Gal Chechik, Chen Sun, Bin Shen:
Instance-Level Label Propagation with Multi-Instance Learning. 2943-2949
Qingqing Wang, Yue Lu:
A Sequence Labeling Convolutional Network and Its Application to Handwritten String Recognition. 2950-2956
Tao Wang, Quan-Sen Sun, Qi Ge, Zexuan Ji, Qiang Chen, Guiyu Xia:
Interactive Image Segmentation via Pairwise Likelihood Learning. 2957-2963
Wei Wang, Xiang-Yu Guo, Shao-Yuan Li, Yuan Jiang, Zhi-Hua Zhou:
Obtaining High-Quality Label by Distinguishing between Easy and Hard Items in Crowdsourcing. 2964-2970
Yangtao Wang, Lihui Chen, Xiao-Li Li:
Multiple Medoids based Multi-view Relational Fuzzy Clustering with Minimax Optimization. 2971-2977
Yingzi Wang, Nicholas Jing Yuan, Yu Sun, Chuan Qin, Xing Xie:
App Download Forecasting: An Evolutionary Hierarchical Competition Approach. 2978-2984
Yongqing Wang, Huawei Shen, Shenghua Liu, Jinhua Gao, Xueqi Cheng:
Cascade Dynamics Modeling with Attention-based Recurrent Neural Network. 2985-2991
Yu Wang, Aniket Chakrabarti, David Sivakoff, Srinivasan Parthasarathy:
Fast Change Point Detection on Dynamic Social Networks. 2992-2998
Yueqing Wang, Xinwang Liu, Yong Dou, Rongchun Li:
Multiple Kernel Clustering Framework with Improved Kernels. 2999-3005
Yueqing Wang, Xinwang Liu, Yong Dou, Rongchun Li:
Approximate Large-scale Multiple Kernel k-means Using Deep Neural Network. 3006-3012
Zengmao Wang, Bo Du, Lefei Zhang, Liangpei Zhang, Ruimin Hu, Dacheng Tao:
On Gleaning Knowledge from Multiple Domains for Active Learning. 3013-3019
Zhaodong Wang, Matthew E. Taylor:
Improving Reinforcement Learning with Confidence-Based Demonstrations. 3027-3033
Huihui Wei, Ming Li:
Supervised Deep Features for Software Functional Clone Detection by Exploiting Lexical and Syntactical Information in Source Code. 3034-3040
Lina Wei, Shanshan Zhao, Omar El Farouk Bourahla, Xi Li, Fei Wu:
Group-wise Deep Co-saliency Detection. 3041-3047
Xiu-Shen Wei, Chen-Lin Zhang, Yao Li, Chen-Wei Xie, Jianxin Wu, Chunhua Shen, Zhi-Hua Zhou:
Deep Descriptor Transforming for Image Co-Localization. 3048-3054
Min Wen, Ivan Papusha, Ufuk Topcu:
Learning from Demonstrations with High-Level Side Information. 3055-3061
Bo Wu, Wen-Huang Cheng, Yongdong Zhang, Qiushi Huang, Jintao Li, Tao Mei:
Sequential Prediction of Social Media Popularity with Deep Temporal Context Networks. 3062-3068
Fei Wu, Xiao-Yuan Jing, Wangmeng Zuo, Ruiping Wang, Xiaoke Zhu:
Discriminant Tensor Dictionary Learning with Neighbor Uncorrelation for Image Set Based Classification. 3069-3075
Gengshen Wu, Li Liu, Yuchen Guo, Guiguang Ding, Jungong Han, Jialie Shen, Ling Shao:
Unsupervised Deep Video Hashing with Balanced Rotation. 3076-3082
Hao Wu, Ziyang Chen, Weiwei Sun, Baihua Zheng, Wei Wang:
Modeling Trajectories with Recurrent Neural Networks. 3083-3090
Hao Wu, Kristina Lerman:
Deep Context: A Neural Language Model for Large-scale Networked Documents. 3091-3097
Lijun Wu, Li Zhao, Tao Qin, Jianhuang Lai, Tie-Yan Liu:
Sequence Prediction with Unlabeled Data by Reward Function Learning. 3098-3104
Nannan Wu, Feng Chen, Jianxin Li, Jinpeng Huai, Bo Li:
Query-Driven Discovery of Anomalous Subgraphs in Attributed Graphs. 3105-3111
Yingce Xia, Jiang Bian, Tao Qin, Nenghai Yu, Tie-Yan Liu:
Dual Inference for Machine Learning. 3112-3118
Jun Xiao, Hao Ye, Xiangnan He, Hanwang Zhang, Fei Wu, Tat-Seng Chua:
Attentional Factorization Machines: Learning the Weight of Feature Interactions via Attention Networks. 3119-3125
Yichi Xiao, Zhe Li, Tianbao Yang, Lijun Zhang:
SVD-free Convex-Concave Approaches for Nuclear Norm Regularization. 3126-3132
Liang Xie, Jialie Shen, Jungong Han, Lei Zhu, Ling Shao:
Dynamic Multi-View Hashing for Online Image Retrieval. 3133-3139
Ruobing Xie, Zhiyuan Liu, Huanbo Luan, Maosong Sun:
Image-embodied Knowledge Representation Learning. 3140-3146
Kai Xiong, Feiping Nie, Junwei Han:
Linear Manifold Regularization with Adaptive Graph for Semi-supervised Dimensionality Reduction. 3147-3153
Jie Xu, Xianglong Liu, Zhouyuan Huo, Cheng Deng, Feiping Nie, Heng Huang:
Multi-Class Support Vector Machine via Maximizing Multi-Class Margins. 3154-3160
Jinglin Xu, Junwei Han, Feiping Nie:
Multi-view Feature Learning with Discriminative Regularization. 3161-3167
Jinglin Xu, Feiping Nie, Junwei Han:
Feature Selection via Scaling Factor Integrated Multi-Class Support Vector Machines. 3168-3174

Zhao Xu, Kristian Kersting, Lorenzo von Ritter:
Stochastic Online Anomaly Analysis for Streaming Time Series. 3189-3195
Zhenghua Xu, Thomas Lukasiewicz, Cheng Chen, Yishu Miao, Xiangwu Meng:
Tag-Aware Personalized Recommendation Using a Hybrid Deep Model. 3196-3202
Hong-Jian Xue, Xinyu Dai, Jianbing Zhang, Shujian Huang, Jiajun Chen:
Deep Matrix Factorization Models for Recommender Systems. 3203-3209

Yuto Yamaguchi, Kohei Hayashi:
When Does Label Propagation Fail? A View from a Network Generative Model. 3224-3230
Toshihiko Yamasaki, Jiani Hu, Shumpei Sano, Kiyoharu Aizawa:
FolkPopularityRank: Tag Recommendation for Enhancing Social Popularity using Text Tags in Content Sharing Services. 3231-3237
Yichao Yan, Bingbing Ni, Xiaokang Yang:
Predicting Human Interaction via Relative Attention Model. 3245-3251
Yuguang Yan, Wen Li, Michael K. P. Ng, Mingkui Tan, Hanrui Wu, Huaqing Min, Qingyao Wu:
Learning Discriminative Correlation Subspace for Heterogeneous Domain Adaptation. 3252-3258
Jing-Wen Yang, Yang Yu, Xiao-Peng Zhang:
Life-Stage Modeling by Customer-Manifold Embedding. 3259-3265
Jufeng Yang, Dongyu She, Ming Sun:
Joint Image Emotion Classification and Distribution Learning via Deep Convolutional Neural Network. 3266-3272
Pengyi Yang, Wei Liu, Jean Yang:
Positive unlabeled learning via wrapper-based adaptive sampling. 3273-3279
Xiao Yang, Dafang He, Zihan Zhou, Daniel Kifer, C. Lee Giles:
Learning to Read Irregular Text with Attention Mechanisms. 3280-3286
Yang Yang, De-Chuan Zhan, Xiang-Yu Guo, Yuan Jiang:
Modal Consistency based Pre-Trained Multi-Model Reuse. 3287-3293
Yiyang Yang, Zhiguo Gong, Qing Li, Leong Hou U, Ruichu Cai, Zhifeng Hao:
A Robust Noise Resistant Algorithm for POI Identification from Flickr Data. 3294-3300
Zhaoyang Yang, Kathryn E. Merrick, Hussein A. Abbass, Lianwen Jin:
Multi-Task Deep Reinforcement Learning for Continuous Action Control. 3301-3307
Quanming Yao, James T. Kwok, Fei Gao, Wei Chen, Tie-Yan Liu:
Efficient Inexact Proximal Gradient Algorithm for Nonconvex Problems. 3308-3314
Han-Jia Ye, De-Chuan Zhan, Xue-Min Si, Yuan Jiang:
Learning Mahalanobis Distance Metric: Considering Instance Disturbance Helps. 3315-3321
Qingyu Yin, Weinan Zhang, Yu Zhang, Ting Liu:
A Deep Neural Network for Chinese Zero Pronoun Resolution. 3322-3328
Sho Yokoi, Daichi Mochihashi, Ryo Takahashi, Naoaki Okazaki, Kentaro Inui:
Learning Co-Substructures by Kernel Dependence Maximization. 3329-3335
Wenchao Yu, Wei Cheng, Charu C. Aggarwal, Haifeng Chen, Wei Wang:
Link Prediction with Spatial and Temporal Consistency in Dynamic Networks. 3343-3349
Wenjian Yu, Yu Gu, Jian Li, Shenghua Liu, Yaohang Li:
Single-Pass PCA of Large High-Dimensional Data. 3350-3356
Yang Yu, Wei-Yang Qu, Nan Li, Zimin Guo:
Open Category Classification by Adversarial Sample Generation. 3357-3363
Yue Yu, Longbo Huang:
Fast Stochastic Variance Reduced ADMM for Stochastic Composition Optimization. 3364-3370
Ze-Huan Yuan, Tong Lu, Yirui Wu:
Deep-dense Conditional Random Fields for Object Co-segmentation. 3371-3377
Daokun Zhang, Jie Yin, Xingquan Zhu, Chengqi Zhang:
User Profile Preserving Social Network Embedding. 3378-3384
Honglun Zhang, Liqiang Xiao, Yongkun Wang, Yaohui Jin:
A Generalized Recurrent Neural Architecture for Text Classification with Multi-Task Learning. 3385-3391
Jinchao Zhang, Qun Liu, Jie Zhou:
ME-MD: An Effective Framework for Neural Machine Translation with Multiple Encoders and Decoders. 3392-3398
Lefei Zhang, Qian Zhang, Bo Du, Jane You, Dacheng Tao:
Adaptive Manifold Regularized Matrix Factorization for Data Clustering. 3399-3405
Liang Zhang, Bingpeng Ma, Jianfeng He, Guorong Li, Qingming Huang, Qi Tian:
Adaptively Unified Semi-supervised Learning for Cross-Modal Retrieval. 3406-3412
Puzhao Zhang, Maoguo Gong, Hui Zhang, Jia Liu:
DRLnet: Deep Difference Representation Learning Network and An Unsupervised Optimization Framework. 3413-3419
Qi Zhang, Jiawen Wang, Haoran Huang, Xuanjing Huang, Yeyun Gong:
Hashtag Recommendation for Multimodal Microblog Using Co-Attention Network. 3420-3426
Rui Zhang, Sheng Tang, Min Lin, Jintao Li, Shuicheng Yan:
Global-residual and Local-boundary Refinement Networks for Rectifying Scene Parsing Predictions. 3427-3433
Xuchao Zhang, Liang Zhao, Arnold P. Boedihardjo, Chang-Tien Lu:
Robust Regression via Heuristic Hard Thresholding. 3434-3440


Chenyang Zhao, Timothy M. Hospedales, Freek Stulp, Olivier Sigaud:
Tensor Based Knowledge Transfer Across Skill Categories for Robot Control. 3462-3468
Feipeng Zhao, Yuhong Guo:
Learning Discriminative Recommendation Systems with Side Information. 3469-3475
Gangming Zhao, Jingdong Wang, Zhaoxiang Zhang:
Random Shifting for CNN: a Solution to Reduce Information Loss in Down-Sampling Layers. 3476-3482
Hong Zhao, Pengfei Zhu, Ping Wang, Qinghua Hu:
Hierarchical Feature Selection with Recursive Regularization. 3483-3489
Shanshan Zhao, Xi Li, Omar El Farouk Bourahla:
Deep Optical Flow Estimation Via Multi-Scale Correspondence Structure Learning. 3490-3496
Stan Zhao, Meng Jiang, Quan Yuan, Bing Qin, Ting Liu, ChengXiang Zhai:
ContextCare: Incorporating Contextual Information Networks to Representation Learning on Medical Forum Data. 3497-3503
Wanqing Zhao, Ziyu Guan, Hangzai Luo, Jinye Peng, Jianping Fan:
Deep Multiple Instance Hashing for Object-based Image Retrieval. 3504-3510
Xin Zhao, Guiguang Ding, Yuchen Guo, Jungong Han, Yue Gao:
TUCH: Turning Cross-view Hashing into Single-view Hashing via Generative Adversarial Nets. 3511-3517
Zhou Zhao, Qifan Yang, Deng Cai, Xiaofei He, Yueting Zhuang:
Video Question Answering via Hierarchical Spatio-Temporal Attention Networks. 3518-3524
Zhou Zhao, Ben Gao, Vincent W. Zheng, Deng Cai, Xiaofei He, Yueting Zhuang:
Link Prediction via Ranking Metric Dual-Level Attention Network Learning. 3525-3531
Zhou Zhao, Hanqing Lu, Deng Cai, Xiaofei He, Yueting Zhuang:
Microblog Sentiment Classification via Recurrent Random Walk Network Learning. 3532-3538
Tengfei Zhou, Hui Qian, Zebang Shen, Chao Zhang, Congfu Xu:
Tensor Completion with Side Information: A Riemannian Manifold Approach. 3539-3545
Wen-Ji Zhou, Yang Yu, Min-Ling Zhang:
Binary Linear Compression for Multi-label Classification. 3546-3552
Guibo Zhu, Zhaoxiang Zhang, Xu-Yao Zhang, Cheng-Lin Liu:
Diverse Neuron Type Selection for Convolutional Neural Networks. 3560-3566
Mingrui Zhu, Nannan Wang, Xinbo Gao, Jie Li:
Deep Graphical Feature Learning for Face Sketch Synthesis. 3574-3580
Xiaofeng Zhu, Yonghua Zhu, Shichao Zhang, Rongyao Hu, Wei He:
Adaptive Hypergraph Learning for Unsupervised Feature Selection. 3581-3587
Xiaojin Zhu, Ji Liu, Manuel Lopes:
No Learner Left Behind: On the Complexity of Teaching Multiple Learners Simultaneously. 3588-3594
Xinge Zhu, Liang Li, Weigang Zhang, Tianrong Rao, Min Xu, Qingming Huang, Dong Xu:
Dependency Exploitation: A Unified CNN-RNN Approach for Visual Emotion Recognition. 3595-3601
Yu Zhu, Hao Li, Yikang Liao, Beidou Wang, Ziyu Guan, Haifeng Liu, Deng Cai:
What to Do Next: Modeling User Behaviors by Time-LSTM. 3602-3608
Chenyi Zhuang, Nicholas Jing Yuan, Ruihua Song, Xing Xie, Qiang Ma:
Understanding People Lifestyles: Construction of Urban Movement Knowledge Graph from GPS Trajectory. 3616-3623
Multidisciplinary Topics and Applications
Xiaohui Bei, Ning Chen, Guangda Huzhang, Biaoshuai Tao, Jiajun Wu:
Cake Cutting: Envy and Truth. 3625-3631
Di Chen, Yexiang Xue, Daniel Fink, Shuo Chen, Carla P. Gomes:
Deep Multi-species Embedding. 3639-3646
Wei Chen, Xiao Zhang, Tengjiao Wang, Bishan Yang, Yi Li:
Opinion-aware Knowledge Graph for Political Ideology Detection. 3647-3653
Zhiyong Cheng, Jialie Shen, Lei Zhu, Mohan S. Kankanhalli, Liqiang Nie:
Exploiting Music Play Sequence for Music Recommendation. 3654-3660
Chao Gao, Martin Müller, Ryan Hayward:
Focused Depth-first Proof Number Search using Convolutional Neural Networks for the Game of Hex. 3668-3674
Xiaodong Gu, Hongyu Zhang, Dongmei Zhang, Sunghun Kim:
DeepAM: Migrate APIs with Multi-modal Sequence to Sequence Learning. 3675-3681
Qingyu Guo, Bo An, Long Tran-Thanh:
Playing Repeated Network Interdiction Games with Semi-Bandit Feedback. 3682-3690
Qingyu Guo, Bo An, Branislav Bosanský, Christopher Kiekintveld:
Comparing Strategic Secrecy and Stackelberg Commitment in Security Games. 3691-3699
Xuan Guo, Rui Li, Qi Yu, Anne R. Haake:
Modeling Physicians' Utterances to Explore Diagnostic Decision-making. 3700-3706


Satwik Kottur, Xiaoyu Wang, Vítor Carvalho:
Exploring Personalized Neural Conversational Models. 3728-3734
Levi H. S. Lelis:
Stratified Strategy Selection for Unit Control in Real-Time Strategy Games. 3735-3741
Shuxin Li, Xiaohong Li, Jianye Hao, Bo An, Zhiyong Feng, Kangjie Chen, Chengwei Zhang:
Defending Against Man-In-The-Middle Attack in Repeated Games. 3742-3748
Jiaqing Liang, Sheng Zhang, Yanghua Xiao:
How to Keep a Knowledge Base Synchronized with Its Encyclopedia Source. 3749-3755
Yen-Chen Lin, Zhang-Wei Hong, Yuan-Hong Liao, Meng-Li Shih, Ming-Yu Liu, Min Sun:
Tactics of Adversarial Attack on Deep Reinforcement Learning Agents. 3756-3762
Xingjun Ma, Sudanthi N. R. Wijewickrema, Shuo Zhou, Yun Zhou, Zakaria Mhammedi, Stephen O'Leary, James Bailey:
Adversarial Generation of Real-time Feedback with Neural Networks for Simulation-based Training. 3763-3769
Sara Marie McCarthy, Phebe Vayanos, Milind Tambe:
Staying Ahead of the Game: Adaptive Robust Optimization for Dynamic Allocation of Threat Screening Resources. 3770-3776
Kartik Palani, Ramachandra Kota, Amar Prakash Azad, Vijay Arya:
Blue Skies: A Methodology for Data-Driven Clear Sky Modelling. 3777-3783
Lahari Poddar, Wynne Hsu, Mong-Li Lee:
Quantifying Aspect Bias in Ordinal Ratings using a Bayesian Approach. 3791-3797
Pablo Robles-Granda, Sebastián Moreno, Jennifer Neville:
Unified Representation and Lifted Sampling for Generative Models of Social Networks. 3798-3806
Oscar J. Romero, Ran Zhao, Justine Cassell:
Cognitive-Inspired Conversational-Strategy Reasoner for Socially-Aware Agents. 3807-3813
Ariel Rosenfeld, Sarit Kraus:
When Security Games Hit Traffic: Optimal Traffic Enforcement Under One Sided Uncertainty. 3814-3822
Ariel Rosenfeld, Matthew E. Taylor, Sarit Kraus:
Leveraging Human Knowledge in Tabular Reinforcement Learning: A Study of Human Subjects. 3823-3830
Riccardo Sartea, Alessandro Farinelli:
A Monte Carlo Tree Search approach to Active Malware Analysis. 3831-3837
Guangyao Shen, Jia Jia, Liqiang Nie, Fuli Feng, Cunjun Zhang, Tianrui Hu, Tat-Seng Chua, Wenwu Zhu:
Depression Detection via Harvesting Social Media: A Multimodal Dictionary Learning Solution. 3838-3844
Friedrich Burkhard von der Osten, Michael Kirley, Tim Miller:
The Minds of Many: Opponent Modeling in a Stochastic Game. 3845-3851
Pengcheng Wang, Jonathan P. Rowe, Wookhee Min, Bradford W. Mott, James C. Lester:
Interactive Narrative Personalization with Deep Reinforcement Learning. 3852-3858
Qikun Xiang, Jie Zhang, Ido Nevat, Pengfei Zhang:
A Trust-based Mixture of Gaussian Processes Model for Reliable Regression in Participatory Sensing. 3866-3872
Jie Xu, Cheng Deng, Xinbo Gao, Dinggang Shen, Heng Huang:
Predicting Alzheimer's Disease Cognitive Assessment via Robust Low-Rank Structured Sparse Model. 3880-3886
Yanyu Xu, Nianyi Li, Junru Wu, Jingyi Yu, Shenghua Gao:
Beyond Universal Saliency: Personalized Saliency Prediction with Multi-task CNN. 3887-3893
Cheng Yang, Maosong Sun, Zhiyuan Liu, Cunchao Tu:
Fast Network Embedding Enhancement via High Order Proximity Approximation. 3894-3900
Feng Yu, Qiang Liu, Shu Wu, Liang Wang, Tieniu Tan:
A Convolutional Approach for Misinformation Identification. 3901-3907
Jing Yuan, Shaojie Tang:
No Time to Observe: Adaptive Influence Maximization with Partial Feedback. 3908-3914
Jiaqi Zhang, Kai Zheng, Wenlong Mou, Liwei Wang:
Efficient Private ERM for Smooth Objectives. 3922-3928
Lu Zhang, Yongkai Wu, Xintao Wu:
A Causal Framework for Discovering and Removing Direct and Indirect Discrimination. 3929-3935
Youzhi Zhang, Bo An, Long Tran-Thanh, Zhen Wang, Jiarui Gan, Nicholas R. Jennings:
Optimal Escape Interdiction on Transportation Networks. 3936-3944
Mengchen Zhao, Bo An, Wei Gao, Teng Zhang:
Efficient Label Contamination Attacks Against Black-Box Learning Models. 3945-3951
Haoti Zhong, Anna Cinzia Squicciarini, David J. Miller, Cornelia Caragea:
A Group-Based Personalized Model for Image Privacy Classification and Labeling. 3952-3958
Natural Language Processing
Xinchi Chen, Xipeng Qiu, Xuanjing Huang:
A Feature-Enriched Neural Model for Joint Chinese Word Segmentation and Part-of-Speech Tagging. 3960-3966
Zhiqian Chen, Xuchao Zhang, Arnold P. Boedihardjo, Jing Dai, Chang-Tien Lu:
Multimodal Storytelling via Generative Adversarial Imitation Learning. 3967-3973
Yong Cheng, Qian Yang, Yang Liu, Maosong Sun, Wei Xu:
Joint Training for Pivot-based Neural Machine Translation. 3974-3980
Anton Dries, Angelika Kimmig, Jesse Davis, Vaishak Belle, Luc De Raedt:
Solving Probability Problems in Natural Language. 3981-3987
Jiachen Du, Ruifeng Xu, Yulan He, Lin Gui:
Stance Classification with Target-specific Neural Attention. 3988-3994
Ko Endo, Masaki Aono, Eric Nichols, Kotaro Funakoshi:
An Attention-based Regression Model for Grounding Textual Phrases in Images. 3995-4001
Xiaocheng Feng, Jiang Guo, Bing Qin, Ting Liu, Yongjie Liu:
Effective Deep Memory Networks for Distant Supervised Relation Extraction. 4002-4008
Fausto Giunchiglia, Khuyagbaatar Batsuren, Gábor Bella:
Understanding and Exploiting Language Diversity. 4009-4017
Jizhou Huang, Wei Zhang, Shiqi Zhao, Shiqiang Ding, Haifeng Wang:
Learning to Explain Entity Relationships by Pairwise Ranking with Convolutional Neural Networks. 4018-4025
Wenqiang Lei, Xuancong Wang, Meichun Liu, Ilija Ilievski, Xiangnan He, Min-Yen Kan:
SWIM: A Simple Word Interaction Model for Implicit Discourse Relation Recognition. 4026-4032
Chang Liu, Fuchun Sun, Changhu Wang, Feng Wang, Alan L. Yuille:
MAT: A Multimodal Attentive Translator for Image Captioning. 4033-4039
Huan Liu, Qinghua Zheng, Minnan Luo, Dingwen Zhang, Xiaojun Chang, Cheng Deng:
How Unlabeled Web Videos Help Complex Event Detection? 4040-4046
Lin Liu, Xin Li, William K. Cheung, Chengcheng Xu:
A Structural Representation Learning for Multi-relational Networks. 4047-4053
Pengfei Liu, Xipeng Qiu, Xuanjing Huang:
Dynamic Compositional Neural Networks over Tree Structure. 4054-4060
Pengfei Liu, Xipeng Qiu, Xuanjing Huang:
Adaptive Semantic Compositionality for Sentence Modelling. 4061-4067
Dehong Ma, Sujian Li, Xiaodong Zhang, Houfeng Wang:
Interactive Attention Networks for Aspect-Level Sentiment Classification. 4068-4074
Tengfei Ma, Tetsuya Nasukawa:
Inverted Bilingual Topic Models for Lexicon Extraction from Non-parallel Data. 4075-4081
Isaac Persing, Vincent Ng:
Why Can't You Convince Me? Modeling Weaknesses in Unpersuasive Arguments. 4082-4088
Shashank Srivastava, Amos Azaria, Tom M. Mitchell:
Parsing Natural Language Conversations using Contextual Cues. 4089-4095
Sanja Stajner, Simone Paolo Ponzetto, Heiner Stuckenschmidt:
Automatic Assessment of Absolute Sentence Complexity. 4096-4102
Wai Lok Tam, Namgi Han, Juan Ignacio Navarro-Horñiacek, Yusuke Miyao:
Finding Prototypes of Answers for Improving Answer Sentence Selection. 4103-4108
Jiwei Tan, Xiaojun Wan, Jianguo Xiao:
From Neural Sentence Summarization to Headline Generation: A Coarse-to-Fine Approach. 4109-4115
Bingning Wang, Kang Liu, Jun Zhao:
Conditional Generative Adversarial Networks for Commonsense Machine Comprehension. 4123-4129
Jingjing Wang, Shoushan Li, Guodong Zhou:
Joint Learning on Relevant User Attributes in Micro-blog. 4130-4136
Shaonan Wang, Jiajun Zhang, Chengqing Zong:
Learning Sentence Representation with Guidance of Human Attention. 4137-4143
Zhiguo Wang, Wael Hamza, Radu Florian:
Bilateral Multi-Perspective Matching for Natural Language Sentences. 4144-4150

Liang-Chen Wei, Zhi-Hong Deng:
A Variational Autoencoding Approach for Inducing Cross-lingual Word Embeddings. 4165-4171
Shuangzhi Wu, Ming Zhou, Dongdong Zhang:
Improved Neural Machine Translation with Source Syntax. 4179-4185
Chunyang Xiao, Marc Dymetman, Claire Gardent:
Symbolic Priors for RNN-based Semantic Parsing. 4186-4192
Tong Xiao, Jingbo Zhu, Tongran Liu, Chunliang Zhang:
Fast Parallel Training of Neural Language Models. 4193-4199
Ruobing Xie, Xingchi Yuan, Zhiyuan Liu, Maosong Sun:
Lexical Sememe Prediction via Word Embeddings and Matrix Factorization. 4200-4206
Guangxu Xun, Yaliang Li, Wayne Xin Zhao, Jing Gao, Aidong Zhang:
A Correlated Topic Model Using Word Embeddings. 4207-4213
Zhou Yu, Alexander I. Rudnicky, Alan W. Black:
Learning Conversational Systems that Interleave Task and Non-Task Content. 4214-4220
Jianbing Zhang, Yixin Sun, Shujian Huang, Cam-Tu Nguyen, Xiaoliang Wang, Xinyu Dai, Jiajun Chen, Yang Yu:
AGRA: An Analysis-Generation-Ranking Framework for Automatic Abbreviation from Paper Titles. 4221-4227
Meishan Zhang, Guohong Fu, Nan Yu:
Segmenting Chinese Microtext: Joint Informal-Word Detection and Segmentation with Neural Networks. 4228-4234
Shijie Zhang, Lizhen Qu, Shaodi You, Zhenglu Yang, Jiawan Zhang:
Automatic Generation of Grounded Visual Questions. 4235-4243
Yi Zhang, Yanghua Xiao, Seung-won Hwang, Haixun Wang, X. Sean Wang, Wei Wang:
Entity Suggestion with Conceptual Expanation. 4244-4250
Hao Zheng, Yong Cheng, Yang Liu:
Maximum Expected Likelihood Estimation for Zero-resource Neural Machine Translation. 4251-4257
Hao Zhu, Ruobing Xie, Zhiyuan Liu, Maosong Sun:
Iterative Entity Alignment via Joint Knowledge Embeddings. 4258-4264
Planning and Scheduling
Masataro Asai, Akihiro Kishimoto, Adi Botea, Radu Marinescu, Elizabeth M. Daly, Spyros Kotoulas:
Efficient Optimal Search under Expensive Edge Cost Computation. 4266-4272
Suda Bharadwaj, Stéphane Le Roux, Guillermo A. Pérez, Ufuk Topcu:
Reduction Techniques for Model Checking and Learning in MDPs. 4273-4279
Nikhil Bhargava, Tiago Stegun Vaquero, Brian C. Williams:
Faster Conflict Generation for Dynamic Controllability. 4280-4286
Gaojian Fan, Martin Müller, Robert Holte:
Additive Merge-and-Shrink Heuristics for Diverse Action Costs. 4287-4293
Guillem Francès, Miquel Ramírez, Nir Lipovetzky, Hector Geffner:
Purely Declarative Action Descriptions are Overrated: Classical Planning with Simulators. 4294-4301
Santiago Franco, Álvaro Torralba, Levi H. S. Lelis, Mike Barley:
On Creating Complementary Pattern Databases. 4302-4309
Daniel Gnad, Valerie Poser, Jörg Hoffmann:
Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search. 4310-4316
Hsu-Chieh Hu, Stephen F. Smith:
Softpressure: A Schedule-Driven Backpressure Algorithm for Coping with Network Congestion. 4324-4330
Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li:
Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control. 4331-4337
Leon Illanes, Sheila A. McIlraith:
Numeric Planning via Abstraction and Policy Guided Search. 4338-4345
Masaaki Imaizumi, Ryohei Fujimaki:
Factorized Asymptotic Bayesian Policy Search for POMDPs. 4346-4352
Sarah Keren, Luis Enrique Pineda, Avigdor Gal, Erez Karpas, Shlomo Zilberstein:
Equi-Reward Utility Maximizing Design in Stochastic Environments. 4353-4360
Dongcai Lu, Yi Zhou, Feng Wu, Zhao Zhang, Xiaoping Chen:
Integrating Answer Set Programming with Semantic Dictionaries for Robot Task Planning. 4361-4367
Mehdi Sadeqi, Howard J. Hamilton:
Lossy Compression of Pattern Databases Using Acyclic Random Hypergraphs. 4376-4383
Enrico Scala, Patrik Haslum, Daniele Magazzeni, Sylvie Thiébaux:
Landmarks for Numeric Planning Problems. 4384-4390
Javier Segovia Aguas, Sergio Jiménez Celorrio, Anders Jonsson:
Generating Context-Free Grammars using Classical Planning. 4391-4397
Marcel Steinmetz, Jörg Hoffmann:
Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning. 4398-4404
Roni Stern, Brendan Juba:
Efficient, Safe, and Probably Approximately Complete Learning of Action Models. 4405-4411
Hanna Sumita, Yuma Yonebayashi, Naonori Kakimura, Ken-ichi Kawarabayashi:
An Improved Approximation Algorithm for the Subpath Planning Problem and Its Generalization. 4412-4418


Davide Venturelli, Minh Do, Eleanor G. Rieffel, Jeremy Frank:
Temporal Planning for Compilation of Quantum Approximate Optimization Circuits. 4440-4446
Christabel Wayllace, Ping Hou, William Yeoh:
New Metrics and Algorithms for Stochastic Goal Recognition Design Problems. 4455-4462
Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su:
Hierarchical Task Network Planning with Task Insertion and State Constraints. 4463-4469
Fan Xie, Adi Botea, Akihiro Kishimoto:
A Scalable Approach to Chasing Multiple Moving Targets with Multiple Agents. 4470-4476
Kai Xu, Kaiming Xiao, Quanjun Yin, Yabing Zha, Cheng Zhu:
Bridging the Gap between Observation and Decision Making: Goal Recognition and Flexible Resource Allocation in Dynamic Network Interdiction. 4477-4483
Robotics and Vision
Shuqiang Jiang, Weiqing Min, Xue Li, Huayang Wang, Jian Sun, Jiaqi Zhou:
Dual Track Multimodal Automatic Learning through Human-Robot Interaction. 4485-4491
Jiayi Ma, Ji Zhao, Hanqi Guo, Junjun Jiang, Huabing Zhou, Yuan Gao:
Locality Preserving Matching. 4492-4498
Rohan Paul, Andrei Barbu, Sue Felshin, Boris Katz, Nicholas Roy:
Temporal Grounding Graphs for Language Understanding with Accrued Visual-Linguistic Context. 4506-4514
Mor Sinay, Noa Agmon, Oleg Maksimov, Sarit Kraus, David Peleg:
Maintaining Communication in Multi-Robot Tree Coverage. 4515-4522
Xinhang Song, Shuqiang Jiang, Luis Herranz:
Combining Models from Multiple Sources for RGB-D Scene Recognition. 4523-4529
Yibing Song, Jiawei Zhang, Linchao Bao, Qingxiong Yang:
Fast Preprocessing for Robust Face Sketch Synthesis. 4530-4536
Yibing Song, Jiawei Zhang, Shengfeng He, Linchao Bao, Qingxiong Yang:
Learning to Hallucinate Face Images via Component Generation and Enhancement. 4537-4543
Huiling Wang, Tinghuai Wang, Ke Chen, Joni-Kristian Kämäräinen:
Cross-Granularity Graph Inference for Semantic Video Object Segmentation. 4544-4550
Tan Yu, Jingjing Meng, Junsong Yuan:
Is My Object in This Video? Reconstruction-based Object Search in Videos. 4551-4557
Uncertainty in AI
Nawal Benabbou, Patrice Perny:
Adaptive Elicitation of Preferences under Uncertainty in Sequential Decision Making Problems. 4566-4572
Madison Clark-Turner, Christopher Amato:
COG-DICE: An Algorithm for Solving Continuous-Observation Dec-POMDPs. 4573-4579
Rupert Freeman, Seyed Majid Zahedi, Vincent Conitzer:
Fair and Efficient Social Choice in Dynamic Settings. 4580-4587
Hugo Gilbert, Nawal Benabbou, Patrice Perny, Olivier Spanjaard, Paolo Viappiani:
Incremental Decision Making Under Risk with the Weighted Expected Utility Model. 4588-4594
Haroun Habeeb, Ankit Anand, Mausam, Parag Singla:
Coarse-to-Fine Lifted MAP Inference in Computer Vision. 4595-4602
David Merrell, Aws Albarghouthi, Loris D'Antoni:
Weighted Model Integration with Orthogonal Transformations. 4610-4616
Somdeb Sarkhel, Deepak Venugopal, Nicholas Ruozzi, Vibhav Gogate:
Efficient Inference for Untied MLNs. 4617-4624
David B. Smith, Sara Rouhani, Vibhav Gogate:
Order Statistics for Probabilistic Graphical Models. 4625-4631
Ruohui Wang, Dahua Lin:
Scalable Estimation of Dirichlet Process Mixture Models on Distributed Data. 4632-4639
Xiaojian Wu, Yexiang Xue, Bart Selman, Carla P. Gomes:
XOR-Sampling for Network Design with Correlated Stochastic Events. 4640-4647
Akihiro Yabe, Shinji Ito, Ryohei Fujimaki:
Robust Quadratic Programming for Price Optimization. 4648-4654
Chengcheng Yu, Xiaobai Liu, Song-Chun Zhu:
Single-Image 3D Scene Parsing Using Geometric Commonsense. 4655-4661
Zhen Zhang, Julian J. McAuley, Yong Li, Wei Wei, Yanning Zhang, Qinfeng Shi:
Dynamic Programming Bipartite Belief Propagation For Hyper Graph Matching. 4662-4668
Sicheng Zhao, Guiguang Ding, Yue Gao, Jungong Han:
Approximating Discrete Probability Distribution of Image Emotions by Multi-Modal Features Fusion. 4669-4675
Chunlai Zhou, Biao Qin, Xiaoyong Du:
Plato's Cave in the Dempster-Shafer land-the Link between Pignistic and Plausibility Transformations. 4676-4682
AI and autonomy track
Tim Baarslag, Michael Kaisers, Enrico H. Gerding, Catholijn M. Jonker, Jonathan Gratch:
When Will Negotiation Agents Be Able to Represent Us? The Challenges and Opportunities for Autonomous Negotiators. 4684-4690

Tom Everitt, Victoria Krakovna, Laurent Orseau, Shane Legg:
Reinforcement Learning with a Corrupted Reward Channel. 4705-4713
Michael W. Floyd, Justin Karneeb, Philip Moore, David W. Aha:
A Goal Reasoning Agent for Controlling UAVs in Beyond-Visual-Range Air Combat. 4714-4721
Naveen Sundar Govindarajulu, Selmer Bringsjord:
On Automating the Doctrine of Double Effect. 4722-4730
Shuyue Hu, Ho-fung Leung:
Achieving Coordination in Multi-Agent Systems by Stable Local Conventions under Community Networks. 4731-4737
Rowan McAllister, Yarin Gal, Alex Kendall, Mark van der Wilk, Amar Shah, Roberto Cipolla, Adrian Weller:
Concrete Problems for Autonomous Vehicle Safety: Advantages of Bayesian Deep Learning. 4745-4753
Smitha Milli, Dylan Hadfield-Menell, Anca D. Dragan, Stuart J. Russell:
Should Robots be Obedient? 4754-4760
Kyle Hollins Wray, Stefan J. Witwicki, Shlomo Zilberstein:
Online Decision-Making for Scalable Autonomous Systems. 4768-4774
Best Sister Conferences
Stéphane Airiau, Elise Bonzon, Ulle Endriss, Nicolas Maudet, Julien Rossit:
Rationalisation of Profiles of Abstract Argumentation Frameworks: Extended Abstract. 4776-4780
Mario Alviano, Carmine Dodaro:
Unsatisfiable Core Shrinking for Anytime Answer Set Optimization. 4781-4785
Jasmin Christian Blanchette, Mathias Fleury, Christoph Weidenbach:
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. 4786-4790
Alexander Borgida, David Toman, Grant E. Weddell:
Concerning Referring Expressions in Query Answers. 4791-4795
Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck:
Open-World Probabilistic Databases: An Abridged Report. 4796-4800
Luca de Alfaro, Vassilis Polychronopoulos, Neoklis Polyzotis:
Efficient Techniques for Crowdsourced Top-k Lists. 4801-4805
Simon De Deyne, Amy Perfors, Daniel J. Navarro:
Predicting Human Similarity Judgments with Distributional Models: The Value of Word Associations. 4806-4810
Christopher De Sa, Kunle Olukotun, Christopher Ré:
Ensuring Rapid Mixing and Low Bias for Asynchronous Gibbs Sampling. 4811-4815

Avshalom Elmalech, David Sarne, Esther David, Chen Hajaj:
Enhancing Crowdworkers' Vigilance. 4826-4830
Clemens Eppner, Sebastian Höfer, Rico Jonschkowski, Roberto Martín-Martín, Arne Sieverling, Vincent Wall, Oliver Brock:
Lessons from the Amazon Picking Challenge: Four Aspects of Building Robotic Systems. 4831-4835
Ethan Fast, Binbin Chen, Michael S. Bernstein:
Lexicons on Demand: Neural Word Embeddings for Large-Scale Text Analysis. 4836-4840
Ya'akov (Kobi) Gal, Moshe Mash, Ariel D. Procaccia, Yair Zick:
Which is the Fairest (Rent Division) of Them All? [Extended Abstract]. 4841-4843
David Gerault, Marine Minier, Christine Solnon:
Using Constraint Programming to solve a Cryptanalytic Problem. 4844-4848
Ilaria Gori, J. K. Aggarwal, Larry H. Matthies, Michael S. Ryoo:
Multi-Type Activity Recognition from a Robot's Viewpoint. 4849-4853
Suyog Gupta, Wei Zhang, Fei Wang:
Model Accuracy and Runtime Tradeoff in Distributed Deep Learning: A Systematic Study. 4854-4858
Amelia Harrison, Yuliya Lierler:
First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract). 4859-4863
Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek:
Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method. 4864-4868
Wolfgang Hönig, T. K. Satish Kumar, Liron Cohen, Hang Ma, Hong Xu, Nora Ayanian, Sven Koenig:
Summary: Multi-Agent Path Finding with Kinematic Constraints. 4869-4873
Vahid Jalali, David Leake, Najmeh Forouzandehmehr:
Learning and Applying Case Adaptation Rules for Classification: An Ensemble Approach. 4874-4878
Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit:
An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI community. 4879-4883
Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere:
Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood? 4884-4888
Jan Leike, Tor Lattimore, Laurent Orseau, Marcus Hutter:
On Thompson Sampling and Asymptotic Optimality. 4889-4893
Viktor Losing, Barbara Hammer, Heiko Wersing:
Self-Adjusting Memory: How to Deal with Diverse Drift Types. 4899-4903
Tyler McDonnell, Mucahid Kutlu, Tamer Elsayed, Matthew Lease:
The Many Benefits of Annotator Rationales for Relevance Judgments. 4909-4913
Seyed Sina Mirrazavi Salehian, Nadia Figueroa, Aude Billard:
Dynamical System-Based Motion Planning for Multi-Arm Systems: Reaching for Moving Objects. 4914-4918
Cláudia Nalon, Ullrich Hustadt, Clare Dixon:
KSP: A Resolution-based Prover for Multimodal K, Abridged Report. 4919-4923
Rohan Paul, Jacob Arkin, Nicholas Roy, Thomas M. Howard:
Grounding Abstract Spatial Concepts for Language Interaction with Robots. 4929-4933
Joshua C. Peterson, Joshua T. Abbott, Thomas L. Griffiths:
Adapting Deep Network Features to Capture Psychological Representations: An Abridged Report. 4934-4938
Sebastian Stein, Enrico H. Gerding, Adrian Nedea, Avi Rosenfeld, Nicholas R. Jennings:
Evaluating Market User Interfaces for Electric Vehicle Charging using Bid2Charge. 4939-4943
Sangho Suh, Jaegul Choo, Joonseok Lee, Chandan K. Reddy:
Local Topic Discovery via Boosted Ensemble of Nonnegative Matrix Factorization. 4944-4948
Aviv Tamar, Yi Wu, Garrett Thomas, Sergey Levine, Pieter Abbeel:
Value Iteration Networks. 4949-4953
Felipe W. Trevizan, Sylvie Thiébaux, Pedro Henrique Santana, Brian Williams:
I-dual: Solving Constrained SSPs via Heuristic Search in the Dual Space. 4954-4958
Amulya Yadav, Hau Chan, Albert Xin Jiang, Haifeng Xu, Eric Rice, Milind Tambe:
Maximizing Awareness about HIV in Social Networks of Homeless Youth with Limited Information. 4959-4963
Journal track
Rodrigo Agerri, German Rigau:
Robust Multilingual Named Entity Recognition with Shallow Semi-supervised Features (Extended Abstract). 4965-4969
Raffaella Bernardi, Ruket Çakici, Desmond Elliott, Aykut Erdem, Erkut Erdem, Nazli Ikizler-Cinbis, Frank Keller, Adrian Muscat, Barbara Plank:
Automatic Description Generation from Images: A Survey of Models, Datasets, and Evaluation Measures (Extended Abstract). 4970-4974
Piero A. Bonatti, Marco Faella, Iliana M. Petrova, Luigi Sauro:
A New Semantics for Overriding in Description Logics (Extended Abstract). 4975-4979
Ondrej Cepek, Stefan Gurský, Petr Kucera:
On Minimum Representations of Matched Formulas (Extended Abstract). 4980-4984
Xujin Chen, Xiaodong Hu, Tie-Yan Liu, Weidong Ma, Tao Qin, Pingzhong Tang, Changjun Wang, Bo Zheng:
Efficient Mechanism Design for Online Scheduling (Extended Abstract). 4985-4989
James Cussens, Matti Järvisalo, Janne H. Korhonen, Mark Bartlett:
Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity (Extended Abstract). 4990-4994
Gert de Cooman, Jasper De Bock, Márcio Alves Diniz:
Coherent Predictive Inference under Exchangeability with Imprecise Probabilities (Extended Abstract). 4995-4999
Davide Grossi, Emiliano Lorini, François Schwarzentruber:
The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract). 5000-5004
José Hernández-Orallo, Fernando Martínez-Plumed, Ute Schmid, Michael Siebers, David L. Dowe:
Computer Models Solving Intelligence Test Problems: Progress and Implications (Extended Abstract). 5005-5009
Yong Lai, Dayou Liu, Minghao Yin:
New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract). 5010-5014
Craig E. Larson, Nico Van Cleemput:
Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract). 5015-5019
Sanjiang Li, Zhiguo Long, Weiming Liu, Matt Duckham, Alan Both:
On Redundant Topological Constraints (Extended Abstract). 5020-5024
Marius Lindauer, Frank Hutter, Holger H. Hoos, Torsten Schaub:
AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract). 5025-5029
Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang:
CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract). 5030-5034
Timothy Arthur Mann, Shie Mannor, Doina Precup:
Approximate Value Iteration with Temporally Extended Actions (Extended Abstract). 5035-5039
Till Mossakowski, Reinhard Moratz:
Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract). 5040-5044
Maurício D. Luís Reis, Eduardo Fermé, Pavlos Peppas:
Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract). 5045-5049
Jan Rupnik, Andrej Muhic, Gregor Leban, Blaz Fortuna, Marko Grobelnik:
News Across Languages - Cross-Lingual Document Similarity and Event Tracking (Extended Abstract). 5050-5054
Petr Savický, Petr Kucera:
Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract). 5055-5059
Yi-Dong Shen, Thomas Eiter:
Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract). 5060-5064
Shahaf S. Shperberg, Solomon Eyal Shimony:
Some Properties of Batch Value of Information in the Selection Problem (Extended Abstract). 5065-5069
Son Thanh To, Tran Cao Son, Enrico Pontelli:
A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract). 5075-5079
Tony T. Tran, Tiago Stegun Vaquero, Goldie Nejat, J. Christopher Beck:
Robots in Retirement Homes: Applying Off-the-Shelf Planning and Scheduling to a Team of Assistive Robots (Extended Abstract). 5080-5084
Stefano V. Albrecht, Subramanian Ramamoorthy:
Exploiting Causality for Selective Belief Filtering in Dynamic Bayesian Networks (Extended Abstract). 5085-5089
Yiyuan Wang, Shaowei Cai, Minghao Yin:
Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function (Extended Abstract). 5090-5094
Kristian Woodsend, Mirella Lapata:
Text Rewriting Improves Semantic Role Labeling (Extended Abstract). 5095-5099
Farhad Zafari, Faria Nassiri Mofakham:
POPPONENT: Highly accurate, individually and socially efficient opponent preference model in bilateral multi issue negotiations (Extended Abstract). 5100-5104
Early Career


Vaishak Belle:
Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds. 5116-5120








Doctoral Consortium

Muhao Chen, Carlo Zaniolo:
Learning Multi-faceted Knowledge Graph Embeddings for Natural Language Processing. 5169-5170
Nader Chmait:
Understanding and Measuring Collective Intelligence Across Different Cognitive Systems: An Information-Theoretic Approach. 5171-5172


Cheng Fang:
Efficient Algorithms And Representations For Chance-constrained Mixed Constraint Programming. 5179-5180
Nicola Gigante:
On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning. 5181-5182







Joseph C. Osborn:
Operationalizing Operational Logics: Semiotic Knowledge Representations for Interactive Systems. 5199-5200
Jose L. Part, Oliver Lemon:
Teaching Robots through Situated Interactive Dialogue and Visual Demonstrations. 5201-5202

Andrii Shalaginov:
Fuzzy Logic Model for Digital Forensics: A Trade-off between Accuracy, Complexity and Interpretability. 5207-5208
Kacper Sokol, Peter A. Flach:
The Role of Textualisation and Argumentation in Understanding the Machine Learning Process. 5211-5212





Demos

Hen-Hsen Huang, Hsin-Hsi Chen:
DISA: A Scientific Writing Advisor with Deep Information Structure Analysis. 5229-5231
Vincent J. Koeman, Koen V. Hindriks, Catholijn M. Jonker:
Omniscient Debugging for GOAL Agents in Eclipse (Demonstration). 5232-5234
Chao-Chun Liang, Yu-Shiang Wong, Yi-Chung Lin, Keh-Yih Su:
A Goal-Oriented Meaning-based Statistical Multi-Step Math Word Problem Solver with Understanding, Reasoning and Explanation. 5235-5237
Thomas Leo McCluskey, Mauro Vallati, Santiago Franco:
Automated Planning for Urban Traffic Management. 5238-5240
Alexander Prange, Michael Barz, Daniel Sonntag:
Speech-based Medical Decision Support in VR using a Deep Neural Network (Demonstration). 5241-5242
Miquel Ramírez, Michael Papasimeon, Lyndon Benke, Nir Lipovetzky, Tim Miller, Adrian R. Pearce:
Real-Time UAV Maneuvering via Automated Planning in Simulations. 5243-5245
Dhirendra Singh, Lin Padgham:
Emergency Evacuation Simulator (EES) - a Tool for Planning Community Evacuations in Australia. 5249-5251
Toshihiko Yamasaki, Yiwei Zhang, Jiani Hu, Shumpei Sano, Kiyoharu Aizawa:
Become Popular in SNS: Tag Recommendation using FolkPopularityRank to Enhance Social Popularity. 5252-5253



Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
